Constraint Patterns and Search Procedures for CP-Based Random Test Generation.
Anna MossPublished in: Haifa Verification Conference (2007)
Keyphrases
- test generation
- search procedures
- search strategies
- test cases
- search procedure
- search algorithm
- constraint satisfaction problems
- constraint programming
- static analysis
- search space
- metaheuristic
- satisfiability problem
- software testing
- quality assurance
- genetic algorithm
- optimization problems
- open source
- search methods
- query language
- data model
- game tree