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.
Raul Santelices presented his paper entitled "Precisely Detecting Runtime Change Interactions for Evolving Software" (co-authored with Mary Jean Harrold and Alex Orso) at the Third Conference on Software Testing, Verification, and Validation (ICST), which was held April 7-9, Paris, France. (04-10-2010)
Mijung Kim presented her paper entitled "Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes" (co-authored with Saurabh Sinha, Carsten Görg, Hina Shah, Mary Jean Harrold and Mangala Gowri Nanda) at the Third Conference on Software Testing, Verification, and Validation (ICST), which was held April 7-9, Paris, France. (04-10-2010)
Hina Shah's paper entitled "Understanding Exception Handling: Viewpoints of Novices and Experts" (co-authored with Carsten Görg and Mary Jean Harrold) is the featured paper in the March/April 2010 issue of IEEE Transactions on Software Engineering. (04-09-2010)
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)