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.
Sangmin Park presented his paper entitled "Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs" (co-authoed with M. J. Harrold and R. Vuduc) at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2013), which was held in July 2013 in Lugano, Switzerland. (07-17-2013)
Sangmin Park participated in the Doctoral Symposium at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2013), which was held in July 2013 in Lugano, Switzerland. (07-15-2013)
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)