Executable test sequence for the protocol control and data flow property with overlapping. - Wen-Huei Chen; Cho-Ching Lu (ISCC, 2002)