A unified approach to protocol test sequence generation

This publication has 15 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• Generating minimal length test sequences for conformance testing of communication protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• A Test Design Methodology for Protocol Testing
  IEEE Transactions on Software Engineering, 1987
• The program dependence graph in static program testing
  Information Processing Letters, 1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Selecting Software Test Data Using Data Flow Information
  IEEE Transactions on Software Engineering, 1985
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Consistency in networks of relations
  Artificial Intelligence, 1977
• A Complexity Measure
  IEEE Transactions on Software Engineering, 1976
• A System to Generate Test Data and Symbolically Execute Programs
  IEEE Transactions on Software Engineering, 1976