Tobias-Z: An executable formal specification of a test generator.

Yves Ledru Lydie du Bousquet

Published in: ASE (2006)

Keyphrases

formal specification
process algebra
model checking
object oriented design
specification language
specification languages
software testing
data abstraction
formal methods
concurrent systems
reverse engineering
data generator
software engineering
software components
database