A Temporal Logic Based Theory of Test Coverage and Generation

This publication has 23 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Using Model Checking to Generate Tests from Requirements Specifications
  Published by Springer Nature ,1999
• Test development for communication protocols: towards automation
  Computer Networks, 1999
• Using model checking to generate tests from specifications
  Published by National Institute of Standards and Technology (NIST) ,1998
• Test generation for intelligent networks using model checking
  Published by Springer Nature ,1997
• Protocol testing
  Published by Association for Computing Machinery (ACM) ,1994
• The CCITT-specification and description language SDL
  Computer Networks and ISDN Systems, 1989
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986