Combining Static Analysis and Constraint Solving for Automatic Test Case Generation.
Kostyantyn VorobyovPadmanabhan KrishnanPublished in: ICST (2012)
Keyphrases
- test case generation
- constraint solving
- static analysis
- test suite
- constraint propagation
- test cases
- software testing
- dynamic analysis
- constraint logic programming
- object oriented systems
- test data generation
- constraint satisfaction
- constraint satisfaction problems
- source code
- constraint solver
- test generation
- constraint programming
- regular expressions
- software systems
- evolutionary algorithm
- quality assurance
- open source