Login / Signup
Formal specification to support advanced model based testing.
Karel Frajták
Miroslav Bures
Ivan Jelínek
Published in:
FedCSIS (2012)
Keyphrases
</>
formal specification
model based testing
process algebra
specification language
object oriented design
specification languages
reverse engineering
test cases
model checking
open source
knowledge management
error rate
database systems
software design
software testing
formal methods
machine learning