Editorial: Specification-based testing revisited?

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

Keyphrases

special issue
formal verification
test case generation
database
artificial intelligence
high level
specification language
database systems
multiscale
test set
test data
formal specification