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.
Sangmin Park presented his paper entitled "Falcon: Fault Localization in Concurrent Programs" (co-authored with Richard Vuduc and Mary Jean Harrold) at the ACM/IEEE 32nd International Conference on Software Engineering (ICSE),which was held May 2-8 in Cape Town, South Africa. (05-06-2010)
Hina Shah presented her poster entitled "Case Study: Studying Human and Social Aspects of Testing in a Service-based Software Company" (co-authored with Mary Jean Harrold) at the Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), which was held May 2, 2010 in Cape Town, South Africa as part of ICSE 2010. (05-02-2010)
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)