A Comparison of the BTT and TTF Test-Generation Methods

This publication has 17 references indexed in Scilit:

• Formal derivation of finite state machines for class testing
  Published by Springer Nature ,2006
• Automating the generation and sequencing of test cases from model-based specifications
  Published by Springer Nature ,2005
• Test Criteria Definition for B Models
  Published by Springer Nature ,1999
• Test Selection for Object-Oriented Software Based on Formal Specifications
  Published by Springer Nature ,1998
• Testing from a Z Specification
  Software Testing, Verification and Reliability, 1997
• Automating formal specification-based testing
  Published by Springer Nature ,1997
• A framework for specification-based testing
  IEEE Transactions on Software Engineering, 1996
• Using formal specifications to support software testing
  Software Quality Journal, 1995
• A tale of two paradigms: Formal methods and software testing
  Published by Springer Nature ,1994
• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981