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 returned from his internship at Microsoft Research, and Yanbing Yu returned from his internship at Avaya Labs. (08-23-2007)
New students Sangmin Park (Ph.D.) and Chaitanya Prakash (M.S.) joined our group. (08-23-2007)
Taweesup (Term) Apiwattanapong received his Ph.D. at Georgia Tech graduation on August 4, 2007, and will start his new position at National Electronics and Computer Technology Center (NECTEC) in Thailand. (08-19-2007)
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)