Locating Runtime Failures using Differential Debugging
Submitted by bilha on Fri, 29/02/2008 - 11:37.
Click here to apply for this internship.
Click here to apply for this internship.
Click here for a list of all applications for this PhD.
Click here to go to an overview off all internships (and applications) for this call.
Affiliated to
IBMLocation
IBM Research Lab in Haifa, IsraelTiming
3 months. The timing is flexible.Description
We routinely encounter programs that used to work but after some change show an incorrect behavior at runtime. For example, a small change in the compiler, or a post-link optimizer can produce such incorrect version. Locating the exact point of failure may become a difficult task.
The research will use the following principles:
1) Explore various ways for automatically locating this point of failure, given a correct and incorrect versions of the program.
2) Use the concept of differential debugging in order to overcome trace size explosion.
3) Employ static binary program analysis to guide the debugging operation
Click here to apply for this internship.
Click here for a list of all applications for this PhD.
Click here to go to an overview off all internships (and applications) for this call.