Code Coverage Aware Test Generation Using Constraint Solver.
Krystof SykoraBestoun S. AhmedMiroslav BuresPublished in: SEFM (2020)
Keyphrases
- test generation
- constraint solver
- code coverage
- constraint solving
- test cases
- constraint propagation
- constraint programming
- linear constraints
- constraint satisfaction
- constraint satisfaction problems
- static analysis
- quality assurance
- sat solvers
- software testing
- real numbers
- constraint logic programming
- software systems
- test suite
- path consistency
- search space
- artificial intelligence
- temporal constraints
- regression testing
- high level