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.
Jake Cobb was awarded the Marshall D. Williamson Fellowship at the annual CoC Awards Ceremony, which was held on April 19, 2012. The award is given to a well-rounded, second-year Master's student. (04-19-2012)
Sangmin Park presented his paper entitled "A Unified Approach for Localizing Non-deadlock Concurrency Bugs" (co-authoed with R. Vuduc and M. J. Harrold) at the Fifth International Conference on Software Testing, Verification, and Validation, which was held in April 2012 in Montreal, Quebec, Canada. (04-18-2012)
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)