A unified approach to protocol test sequence generation | IEEE Conference Publication | IEEE Xplore