Login / Signup

Automated Debugging Using Path-Based Weakest Preconditions.

Haifeng HeNeelam Gupta
Published in: FASE (2004)
Keyphrases
  • semi automated
  • fully automated
  • explanation based learning
  • computer assisted
  • real time
  • data sets
  • decision making