Heuristic Search with Reachability Tests for Automated Generation of Test Programs.
Wee Kheng LeowSiau-Cheng KhooTiong Hoe LohVivy SuhendraPublished in: ASE (2004)
Keyphrases
- heuristic search
- state space
- search algorithm
- computer chess
- test generation
- test suite
- constraint satisfaction
- search space
- reinforcement learning
- search problems
- bidirectional search
- planning problems
- beam search
- heuristic search algorithms
- statistical tests
- heuristic function
- probabilistic planning
- state space search
- forward search
- ai planning
- path finding
- search strategies
- dynamic programming
- automated planning
- test cases
- orders of magnitude
- search methods