Keyphrases
- test generation
- timed automata
- test cases
- model checking
- test sequences
- design automation
- symbolic execution
- reachability analysis
- static analysis
- quality assurance
- first order logic
- software testing
- mutation testing
- databases
- theorem prover
- image processing
- matching algorithm
- training data
- case study
- learning algorithm
- real time