Using Model Checking to Generate Tests from Requirements Specifications

This publication has 16 references indexed in Scilit:

• Using abstraction and model checking to detect safety violations in requirements specifications
  IEEE Transactions on Software Engineering, 1998
• Automatic Generation of State Invariants from Requiements Specifications
  Published by Defense Technical Information Center (DTIC) ,1998
• Formal methods for verification and validation of partial specifications: A case study
  Journal of Systems and Software, 1998
• Using model checking to generate tests from specifications
  Published by National Institute of Standards and Technology (NIST) ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Test generation for intelligent networks using model checking
  Published by Springer Nature ,1997
• Automated consistency checking of requirements specifications
  ACM Transactions on Software Engineering and Methodology, 1996
• Experiments in theorem proving and model checking for protocol verification
  Published by Springer Nature ,1996
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• A functional approach to program testing and analysis
  IEEE Transactions on Software Engineering, 1986