Welcome to the AutoDB project!

The purpose of the AutoDB project is to automate the debugging process and help programmers diagnose and fix software bugs with as little effort as possible.  If successful, this project will yield significant increases in programmer productivity.

This project involves research in a wide range of topics including automatic fault localization, automatic test input generation, fundamental improvements to Dynamic Symbolic Execution (DSE), and automatic software repair or bug fixing.

Automated Software Debugging