Login / Signup

Program Verification by Reachability Searching over Dynamic Call Tree.

Tu PengKai Wang
Published in: ADMA (2014)
Keyphrases
  • dynamic environments
  • information retrieval
  • tree structure
  • genetic algorithm
  • multi agent
  • dynamic programming