Automatic Testing from Formal Specifications.

Manoranjan Satpathy Michael J. Butler Michael Leuschel S. Ramesh

Published in: TAP (2007)

Keyphrases

formal specification
software testing
model checking
object oriented design
specification languages
specification language
design methodology
formal methods
concurrent systems
information systems
test cases
software components
reverse engineering
database systems
case study
process algebra
real world