His research interests are in software engineering and formal methods, especially in designing techniques and tools that improve software quality and developers' productivity. His PhD work has explored test-input ;generation, test-quality assessment, testing concurrent code, and regression testing.