Generating Test Sequences and their Degrees of Indeterminism for Protocols

• Authors:

• To-Yat Cheung;Youwen Wu;Ye Xinming

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
• Year:
• 1991