My primary research area is software engineering. The goal of my research is to develop tools and techniques to improve software quality. In particular, I do research and development on static & dynamic program analysis, fault localization, automated debugging, and automated testing.