The Twilight Zone: From Testing to Formal Specifications and Back Again.

Published in: APLAS (2009)

Keyphrases

formal specification
software testing
specification languages
model checking
test cases
object oriented design
formal methods
concurrent systems
process algebra
design methodology
specification language
software components
reverse engineering
protocol specification
real world
temporal logic