INATEST: an interactive environment for testing formal specifications.

Steven T. Eckmann Richard A. Kemmerer

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

formal specification
software testing
specification languages
object oriented design
real world
database
test cases
model checking
design methodology
specification language
databases
virtual world
software systems
concurrent systems
process algebra