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.
Andy Podgurski, Case Western Reserve University, is spending the spring semester at Georgia Tech and interacting with us and the SPARC Group. (01-05-2007)
Jim Bowring was awarded the Ph.D. at Georgia Tech graduation ceremony. (12-15-2006)
Jim Jones passed his Ph.D. proposal and advanced to candidacy. (12-06-2006)
George Baah presented his paper entitled "On-line Anomaly Detection of Deployed Software: A Statistical Machine Learning Approach" (co-authored by A. Gray and M. J. Harrold) at the Third International Workshop on Software Quality Assurance (SOQUA 2006), Portland, OR, November 2006. (11-18-2006)
Raul Santelices presented his paper entitled "Subsumption of Program Entities for Efficient Coverage and Monitoring" (co-authored by S. Sinha and M. J. Harrold) at the Third International Workshop on Software Quality Assurance (SOQUA 2006), Portland, OR, November 2006. (11-18-2006)