Automating the generation and sequencing of test cases from model-based specifications

This publication has 8 references indexed in Scilit:

• Towards a Symbolic Logic Minimization Algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• The VDM-SL Reference Guide
  Published by Taylor & Francis ,1991
• Relationship between specifications and testing
  Information and Software Technology, 1991
• Software testing based on formal specifications: a theory and a tool
  Software Engineering Journal, 1991
• CICS/ESA 3.1 Experiences
  Published by Springer Nature ,1990
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• Software Engineering Mathematics
  Published by Taylor & Francis ,1988
• Introduction to Discrete Mathematics for Software Engineering
  Published by Springer Nature ,1986