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.
Saswat Anand presented two papers at TACAS 2007: "Type-dependency Analysis and Program Transformation for Symbolic Execution" (co-authored with Alessandro Orso and Mary Jean Harrold) and "JPF-SE: A Symbolic Execution Extension to Java PathFinder" (co-authored with Corina Pasareanu and Willem Visser, both of NASA Ames Research Center). (03-27-2007)
Surya Kant, president of Tata Consultancy Services (TCS), North America, and Vipul Shah, Director of R&D, TCS North America, visited our lab. (03-14-2007)
Mary Jean Harrold and Hina Shah participated in the CRA-W Graduate Cohort Workshop, which was held at the Westin St. Francis, San Francisco, CA. (03-02-2007)
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)