About Us

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.

NEWS

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17  Next >> 

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)