Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.
Hana M'HemdiJacques JulliandPierre-Alain MassonRiadh RobbanaPublished in: WETICE (2016)
Keyphrases
- timed automata
- model checking
- finite state machines
- finite state automaton
- finite state
- response time
- temporal logic
- turing machine
- petri net
- cellular automata
- regular expressions
- finite automata
- data sets
- black box
- scheduling problem
- state space
- test generation
- website
- learning algorithm
- probabilistic automata
- databases