Planning for software verification and validation.

Dolores R. Wallace Roger U. Fujii

Published in: ACM SIGSOFT Softw. Eng. Notes (1987)

Keyphrases

planning problems
heuristic search
database
machine learning
decision support
motion planning
planning process
automated planning
mission planning