Thesis Defense: Fighting Bugs: Prevention, Detection, and Elimination
Speaker: Shay Artzi , CSAIL
Date: May 7 2009
Time: 11:00AM to 12:00AM
Location: D507
Contact: Shay Artzi, 617-513-0073, artzi@mit.edu
Relevant URL:
In this talk, I will present three techniques for fighting software bugs: prevention, detection, and elimination.
Each technique is based on dynamic analysis or a combination of static and dynamic analysis.
For preventing new bugs, I present a technique that automatically generates regression tests at the unit level using models created dynamically from example executions.For detecting existing bugs, I present a technique that adapts concolic testing to web applications, explores complex multi-stage user interactions, and uses an output oracle to validate the output. For eliminating bugs, I present a technique that stores states of objects to reproduce failures.
In addition, I present a combined static and dynamic analysis for classifying the mutability of references. This mutability classification improves the effectiveness of the prevention technique and the performance of the elimination technique.
I have implemented and evaluated each of the techniques. I will present experimental results on real code for each of them.
Thesis Advisor: Michael D. Ernst
Thesis Committee: Srini Devadas, Frank Tip
See other events that are part of
See other events happening in May 2009
