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.
Frank Tip, IBM T.J. Watson Research Center visited us on January 14, 2008, and gave a talk entitled "Refactoring Using Type Constraints." (01-21-2008)
Jim Jones successfully defended his Ph.D. dissertation. (11-23-2007)
Raul Santelices passed his qualifier exam and advanced to the next stage of the Ph.D. program. (11-15-2007)
Raul Santelices presented his paper entitled "Efficient Monitoring of Data-flow Test Coverage" co-authored with Mary Jean Harrold at the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007). The conference was held November 5-9, 2007 in Atlanta, Georgia. (11-09-2007)
The Aristotle Research Group hosted a testing workshop on October 17, 2007. In addition to members of the group, participants included Karthik Agrawal, Arun Bahulkar, Sushant Batule, Pavan Chittimalli, and Vipul Shah from Tata Consultancy Services, John McKenzie from Morgan Stanley, Saurabh Sinha from IBM Research Lab, India, and Shamkant Navathe and Alessandro Orso from Georgia Tech. (10-18-2007)