Login / Signup

Generating effective tests for concurrent programs via AI automated planning techniques.

Niloofar RazaviAzadeh FarzanSheila A. McIlraith
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • automated planning
  • goal directed
  • heuristic search
  • concurrent programs
  • planning systems
  • artificial intelligence
  • ai planning
  • machine learning
  • planning domains
  • evolutionary algorithm
  • planning problems