Evaluating a data abstraction testing system based on formal specifications.

Paul R. McMullin John D. Gannon

Published in: J. Syst. Softw. (1981)

Keyphrases

formal specification
data abstraction
model checking
software testing
object oriented design
specification languages
reverse engineering
formal methods
test cases
temporal logic
business rules
database management
software components
conceptual modeling