Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines

This publication has 8 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• Formal validation of virtual finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach
  IEEE Transactions on Communications, 1996
• Testing Finite State Machines: Fault Detection
  Journal of Computer and System Sciences, 1995
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
  IEEE Transactions on Communications, 1991
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978