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