His research interests are in software maintenance, software testing, and automated software analysis. His major research contributions are in software slicing and automated test generation.