Our research addresses various aspects of analysis, testing, and maintenance of software systems. Recent projects include regression test selection, test-suite minimization and prioritization, analysis and testing of object-oriented software, scalable data-flow analyses, analysis of programs with exception-handling constructs, development of the Aristotle Analysis System for C programs, and development of the Java Architecture for Bytecode Analysis. Additional information: a brochure describing our research.
Hina Shah successfully completed her qualifier exam. (01-03-2010)
George Baah was awarded a FACES (Facilitating Academic Careers in Engineering and Science) scholarship for his Ph.D. research. (07-27-2009)
Saurabh Sinha (IBM) presented his paper entitled "Fault Localization and Repair for Java Runtime Exceptions" (co-authored by H. Shah, C. Görg, S. Jiang, M. Kim, and M. J. Harrold) at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 20-23, 2009, Chicago, IL. (07-24-2009)
Anup Rao accepted a tenure track faculty position in the Department of Computer Science at the University of Washington, Seattle. Anup, who worked as a research assistant in our group while he was an undergraduate at Georgia Tech, received his Ph.D. in 2007 from University of Texas at Austin, and has been a postdoctoral researcher since then at the Institute for Advanced Study at Princeton since then. (06-02-2009)
Raul Santelices presented his paper entitled "Lightweight Fault Localization Using Multiple Coverage Types" (co-authored by J. A. Jones, Y. Yu, and M. J. Harrold) at 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009. (05-23-2009)