Generating test cases for EFSM with given fault models

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
• Test suite generation for a FSM with a given type of implementation errors
  Published by Elsevier ,1992
• A test suite generation method for extended finite state machines using axiomatic semantics approach
  Published by Elsevier ,1992
• 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
• A Method for the Design of Fault Detection Experiments
  IEEE Transactions on Computers, 1970