An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms.
Raluca LefticaruFlorentin IpatePublished in: SEFM (2012)
Keyphrases
- test generation
- finite state machines
- mutation testing
- test cases
- test sequences
- symbolic execution
- finite state automata
- design automation
- static analysis
- model checking
- quality assurance
- genetic algorithm
- knowledge base
- code coverage
- regular expressions
- hidden markov models
- test data generation
- data sets
- pattern matching
- database applications
- training data
- high level
- case study
- decision trees