Testing Refinements of State-based Formal Specifications.

John Derrick Eerke A. Boiten

Published in: Softw. Test. Verification Reliab. (1999)

Keyphrases

formal specification
software testing
specification languages
case study
state space
production system
expert systems
relational databases
reverse engineering