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.
Raul Santelices participated in the Doctoral Symposium at 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009. (05-18-2009)
Sarah Clarke and Chaitanya Prakash received their M.S. degrees on May 2, 2009. Sarah is continuing with her graduate studies and pursuing a Ph.D. Chaitanya is pursuing a career in industry. (05-09-2009)
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)