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.
Jake Cobb successfully completed his qualifier exam. (05-09-2013)
Brittany Johnson, College of Charleston alumna and student of Jim Bowring (Aristotle Research Group alumnus), recently received a Graduate Research Fellowship from the National Science Foundation (NSF) to find ways to improve the usability of program analysis tools. Johnson is currently a Ph.D. student in computer science at N.C. State University. (04-30-2013)
Sangmin Park won one an award at the Georgia Tech Research & Innovation Conference (GTRIC) that took place on February 12, 2013. Out of approximately 400 participants, only 30 were given awards. (02-12-2013)
Mary Jean Harrold, George Baah, and Jake Cobb participated in the Dagstuhl Workshop on Fault Prediction, Localization, and Repair, which was held February 3-8, 2013 (see http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13061). Harrold was one of the organizers of the workshop. (02-09-2013)
Sangmin Park presented his paper entitled "CarFast: Achieving Higher Statement Coverage Faster" (co-authored Ishtiaque Hussain, Christoph Csallner, Kunal Taneja, Mainul Hossain,Mark Grechanik, Chen Fu, and Qing Xie) 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)