Test generation from timed pushdown automata with inputs and outputs.
Hana M'HemdiJacques JulliandPierre-Alain MassonRiadh RobbanaPublished in: ICST Workshops (2015)
Keyphrases
- test generation
- timed automata
- model checking
- finite state machines
- test cases
- symbolic execution
- dea models
- design automation
- test sequences
- static analysis
- petri net
- quality assurance
- mutation testing
- software testing
- finite state
- cellular automata
- dea model
- formal specification
- machine learning
- regular expressions
- test data generation
- information technology
- code coverage
- finite automata
- regression testing
- error rate
- open source
- database systems