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 "Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution" (co-authored by M. J. Harrold) at ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), which was held July 14-16, 2010 in Trento. (07-27-2010)
George Baah presented his paper entitled "Causal Inference for Statistical Fault Localization" (co-authored by A. Podgurski and M. J. Harrold) at ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), which was held July 14-16, 2010 in Trento, Italy. (07-26-2010)
Mary Jean Harrold presented a lecture entitled "Techniques for Improved Testing of Evolving Software" at the 7th International Summer School on Software Engineering, sponsored by the University of Salerno, Italy, which was held July 6-9, 2010 in Salerno, Italy. (07-13-2010)
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)