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.
George Baah successfully defended his Ph.D. dissertation and is now a Postdoctoral Scholar in the School of Computer Science at Georgia Tech. (08-17-2012)
Mijung Kim presented her paper entitled "Efficient Regression Testing of Ontology-Driven Systems" (co-authored with Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Adrew Post, Kunal Malhotra, Shamkant B. Navathe) at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), which was held in July 2012 in Minneapolis, Minnesota. (07-20-2012)
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)