Heuristic-guided counterexample search in FLAVERS.
Jianbin TanGeorge S. AvruninLori A. ClarkeShlomo ZilbersteinStefan LeuePublished in: SIGSOFT FSE (2004)
Keyphrases
- search algorithm
- search strategies
- forward search
- dynamic programming
- search heuristics
- depth first search
- search procedure
- search space
- iterative deepening
- search methods
- search efficiency
- heuristic functions
- exhaustive search
- complete search
- search effort
- heuristic function
- solution space
- search strategy
- heuristic search
- optimal solution
- hill climbing
- game tree
- beam search
- model checking
- tabu search
- state space search
- simulated annealing
- tree search algorithm
- genetic algorithm