Protocol conformance test generation using multiple UIO sequences with overlapping

This publication has 10 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• A structural test selection criterion
  Information Processing Letters, 1988
• Test sequence selection based on static data flow analysis
  Computer Communications, 1987
• A Test Design Methodology for Protocol Testing
  IEEE Transactions on Software Engineering, 1987
• Protocol testing techniques
  Computer Communications, 1987
• A new technique for generating protocol test
  Published by Association for Computing Machinery (ACM) ,1985
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Matching, Euler tours and the Chinese postman
  Mathematical Programming, 1973
• Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems
  Journal of the ACM, 1972