Test Generation by Constraint Solving and FSM Mutant Killing.
Alexandre PetrenkoOmer Nguena-TimoS. RameshPublished in: ICTSS (2016)
Keyphrases
- test generation
- constraint solving
- finite state machines
- constraint logic programming
- test cases
- constraint propagation
- symbolic execution
- constraint satisfaction problems
- design automation
- constraint satisfaction
- test sequences
- constraint solver
- static analysis
- quality assurance
- constraint programming
- constraint solvers
- data sets
- code coverage
- life cycle
- training set
- case study