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), who spent the spring semester on sabbatical with our group, won an ACM SIGSOFT Distinguished Paper Award at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), which was held July 9-12, 2007 in London, UK, for his paper entitled "Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software." The paper was co-authored with Ray-Yaung Chang and Jiong Yang. (07-24-2007)
James (Jim) Jones presented his paper entitled "Debugging in Parallel," co-authored with James (Jim) Bowring and Mary Jean Harrold, at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007). The conference was held July 9-12, 2007 in London, UK. (07-18-2007)
Taweesup (Term) Apiwattanapong successfully defended his dissertation and will graduate in August. (06-21-2007)
In an article published in the June 2007 issue of CACM by Jie Ren and Richard Taylor, Georgia Tech was ranked third in the world in software engineering and Mary Jean Harrold was ranked as the top software-engineering scholar; both rankings were based on publications in top software-engineering journals and conferences. ACM subscribers can find the complete article at http://portal.acm.org/citation.cfm?id=1247001.1247010 (06-04-2007)
Wanchun (Paul) Li presented a paper (co-authored with Heena Macwan and Mary Jean Harrold) entitled "Model-based Fault Analysis for Avionics Systems" at the International Workshop on Aerospace Software Engineering (AeroSE 2007). The workshop was held on May 21-22, 2007 in conjunction with the 29th International Conference on Software Engineering (ICSE) in Minneapolis, MN. (05-29-2007)