Goals

The main goals of the AutoDB project are:

  • Automate the debugging process and help programmers fix software bugs with as little effort  as possible.
  • Develop an automated software fault localization framework which is practical, efficient, and automatic, while reporting few false-positives without missing root cause(s) in nearly all cases.
  • Develop an efficient symbolic execution technique to generate passing and failing inputs similar to the original failure-inducing input which will not only give valuable insights about the failure, but also help the automated software fault localization framework in localizing faults.
  • Develop new static and dynamic analysis techniques and incorporate existing techniques for reducing false-positives and making fault localization more precise.
  • Collect as much information as possible from static and dynamic analysis to aid the debugging process and help programmers easily and quickly fix bugs.

Automated Software Debugging