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.
Postdoctoral researcher, Carsten Görg, has accepted a position as visiting faculty at Saarland University in the city of Saarbrücken in Germany for the summer term. (03-30-2008)
Mary Jean Harrold gave a keynote entitled "Testing Evolving Software: Current Practice and Future Promise" at the First India Software Engineering Conference (ISEC 2008), which was held in Hyderabad, India, February 19-22, 2008. (02-27-2008)
Pavan Kumar Chittimallli presented his paper entitled "Regression Test Selection on System Requirements" (co-authored by M. J. Harrold) at the First India Software Engineering Conference (ISEC 2008), which was held in Hyderabad, India, February 19-22, 2008. (02-27-2008)
Frank Tip, IBM T.J. Watson Research Center visited us on January 14, 2008, and gave a talk entitled "Refactoring Using Type Constraints." (01-21-2008)
Jim Jones successfully defended his Ph.D. dissertation. (11-23-2007)