Login / Signup
An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON.
Carsten Rütz
Julien Schmaltz
Published in:
ICST Workshops (2011)
Keyphrases
</>
model based testing
timed automata
test cases
model checking
software development
software design
security policies
testing process
theorem prover
sequence diagrams
software testing
petri net
first order logic
test data
test generation
data sets
software engineering
case study
machine learning