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.
Saswat Anand presented his paper entitled "Automated Concolic Testing of Smartphone Apps" (co-authored with Mayur Naik, Hongseok Yang, and Mary Jean Harrold) at the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2012), which was held in November 2012 in Cary, North Carolina. (11-16-2012)
Nicholas DiGiuseppe and James A. Jones (Aristotle Research Group alumnus, University of California, Irvine, see http://www.ics.uci.edu/~jajones/Home.html) won the Best Poster Award for their research entitled "Semantic Fault Diagnosis: Automatic Natural-Language Fault Descriptions" at the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2012), which was held in November 2012 in Cary, North Carolina. (11-16-2012)
Graduate students Jake Cobb, Jie (Jenny) Lu, Xiangyu Li, and Qianqian Wang and undergraduate Tim Innes joined our research group this fall. (08-20-2012)
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)