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 passed her Ph.D. proposal, and advanced to candidacy. (12-16-2011)
Saswat Anand presented his paper entitled "Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs" (co-authoed M. J. Harrold) at the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), which was held in November 2011 in Lawrence, Kansas. (11-27-2011)
George Baah presented his paper entitled "Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization" (co-authoed with A. Podgurski and M. J. Harrold) at the 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011), which was held in September 2011 in Szeged, Hungary. (10-02-2011)
Hina Shah presented her paper entitled "Outsourced, Offshored Testing Practice: Vendor-side Experiences" (co-authored by S. Sinha and M. J. Harrold) at the Sixth International Conference on Global Software Engineering (ICGSE 2011), which was held in Helsinki, Finland in August 2011. The paper received the Best Paper Award at the conference. (08-18-2011)
Hina Shah participated in the Doctoral Symposium at the Sixth International Conference on Global Software Engineering (ICGSE 2011), which was held in August 2011 in Helsinki, Finland. (08-01-2011)