On fault coverage of tests for finite state specifications

This publication has 22 references indexed in Scilit:

• Generating test cases for EFSM with given fault models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A unified approach to protocol test sequence generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A simplified domain-testing strategy
  ACM Transactions on Software Engineering and Methodology, 1994
• Optimal length test sequence generation using distinguishing sequences
  IEEE/ACM Transactions on Networking, 1993
• Formal methods for test sequence generation
  Computer Communications, 1992
• Finite state machine based formal methods in protocol conformance testing: from theory to implementation
  Computer Networks and ISDN Systems, 1991
• A theory of fault-based testing
  IEEE Transactions on Software Engineering, 1990
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• OSI conformance testing
  Computer Networks and ISDN Systems, 1987
• Checking Experiments ror Sequential Machines
  IEEE Transactions on Computers, 1971