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.
Sarah Clarke, first year Aristotle Research Group Ph.D. student, received the CS7001 Research Project Award at the College of Computing Annual Awards Ceremony, which was held on April 21, 2009. The title of her project was "Programming and Debugging in Pictures: Autistic Individuals and Computer Programming." (04-27-2009)
Hina Shah presented her paper entitled "Why Do Developers Neglect Exception Hangling?" co-authored with Carsten Goerg and Mary Jean Harrold, at the 4th International Workshop on Exception Handling (WEH 08), held in conjunction with 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. The workshop was held on November 14, 2008 in Atlanta, Georgia. (12-01-2008)
Raul Santelices presented a poster entitled "Test-suite Augmentation with Change-Propagation Analysis using Comparative Partial Symbolic Execution" at the Student Research Forum at the 16h ACM SIGSOFT International Symposium on the Foundations of Software Engineering. The conference was held November 11, 2008 in Atlanta, Georgia. (11-30-2008)
Chaitanya Prakash presented a poster entitled "Fault Propagation Analysis of Modern Avionics Systems", co-authored with Aliva Pattnaik, at the Student Research Forum at the 16h ACM SIGSOFT International Symposium on the Foundations of Software Engineering. The conference was held November 11, 2008 in Atlanta, Georgia. (11-30-2008)
Wanchun (Paul) Li presented his paper entitled "Using Random Test Selection to Gain Confidence in Modified Software," co-authored with Mary Jean Harrold, at the 24th IEEE International Conference on Software Maintenance (ICSM 2008). The conference was held September 28-October 4, 2008 in Beijing, China. (10-03-2008)