Formal Specification Tools for Test Coverage Analysis.

John Chilenski Philip Newcomb

Published in: KBSE (1994)

Keyphrases

formal specification
formal methods
reverse engineering
test suite
object oriented design
real world
machine learning
response time
model checking