Automated test generation from timed automata.
Brian NielsenArne SkouPublished in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
- test generation
- timed automata
- test cases
- model checking
- reachability analysis
- symbolic execution
- design automation
- test sequences
- static analysis
- quality assurance
- theorem prover
- theorem proving
- mutation testing
- first order logic
- temporal logic
- real time systems
- bayesian networks
- probability distribution
- relational databases
- case study
- artificial intelligence
- real world
- data sets
- real time