Code Coverage Aware Test Generation Using Constraint Solver.
Krystof SykoraBestoun S. AhmedMiroslav BuresPublished in: CoRR (2020)
Keyphrases
- test generation
- constraint solver
- code coverage
- constraint solving
- test cases
- constraint propagation
- linear constraints
- constraint programming
- constraint satisfaction problems
- software testing
- constraint satisfaction
- static analysis
- quality assurance
- real numbers
- constraint logic programming
- sat solvers
- software systems
- data sets
- software engineering
- high level
- learning algorithm
- databases