Executable test sequence for the protocol control and data flow property with overlapping | IEEE Conference Publication | IEEE Xplore