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.
We are participating in the National Science Foundation I-Corps program this summer to investigate the commercialization of our research. Our I-Corps Team consists of Mary Jean Harrold, George Baah, and Jennifer Bonnett. Our initial prototype can be viewed at and obtained from aristotleresearch.com (06-28-2012)
Saswat Anand successfully defended his Ph.D. dissertation and is now a Postdoctoral Scholar in the Department of Computer Science at Stanford University. (05-10-2012)
Raul Santelices successfully defended his Ph.D. dissertation and is now an assistant professor in the Department of Computer Science and Engineering at the University of Notre Dame. (04-25-2012)
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)