IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.
Maria ChristakisPatrice GodefroidPublished in: SPIN (2015)
Keyphrases
- search strategy
- test generation
- search algorithm
- search strategies
- search space
- test cases
- effective pruning
- symbolic execution
- case study
- integrated circuit
- hill climbing
- static analysis
- quality assurance
- search heuristics
- test sequences
- design automation
- software testing
- test collection
- branch and bound search
- vision system
- image processing