Symbolic Execution with Interval Solving and Meta-heuristic Search.
Mateus BorgesMarcelo d'AmorimSaswat AnandDavid H. BushnellCorina S. PasareanuPublished in: ICST (2012)
Keyphrases
- heuristic search
- symbolic execution
- bidirectional search
- state space
- search algorithm
- search space
- admissible heuristics
- static analysis
- specification language
- planning problems
- search strategies
- test generation
- source code
- search problems
- heuristic function
- automated planning
- beam search
- heuristic search algorithms
- pattern databases
- test data generation
- combinatorial optimization