A new protocol test sequence generation method based on UIOS | IEEE Conference Publication | IEEE Xplore