QuickSpec: Guessing Formal Specifications Using Testing.

Koen Claessen Nicholas Smallbone John Hughes

Published in: TAP@TOOLS (2010)

Keyphrases

formal specification
software testing
model checking
object oriented design
specification languages
specification language
test cases
formal methods
reverse engineering
protocol specification
formal specification language
design methodology
concurrent systems
test suite
case study
software components
data model