A test suite generation method for extended finite state machines using axiomatic semantics approach

This publication has 11 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• A protocol test generation procedure
  Published by Elsevier ,2003
• Axiomatic test sequence generation for extended finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A test sequence selection method for protocol testing
  IEEE Transactions on Communications, 1991
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• 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
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Symbolic execution and program testing
  Communications of the ACM, 1976
• A Method for the Design of Fault Detection Experiments
  IEEE Transactions on Computers, 1970