T-UPPAAL: Online Model-based Testing of Real-Time Systems.
Marius MikucionisKim Guldstrand LarsenBrian NielsenPublished in: ASE (2004)
Keyphrases
- real time systems
- real time
- timed automata
- model based testing
- distributed systems
- embedded systems
- test cases
- real time database systems
- timing constraints
- real time embedded
- cooperative
- neural network
- model checking
- architectural model
- object oriented
- relational databases
- decision trees
- object oriented programming language