Extracting Formal Specifications to Strenghten Type Behaviour Testing.

Dimitri Racordon Didier Buchs

Published in: CoRR (2017)

Keyphrases

formal specification
software testing
specification languages
model checking
artificial intelligence
design methodology
specification language
object oriented design
formal methods
user interface
software engineering
general purpose
reverse engineering
test suite
concurrent systems