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.
Jai Kejriwal is back from a summer internship at Expedia. (08-20-2006)
New Ph.D. students Paul Li, Hina Shah, and Yanbing Yu joined our group this fall. (08-05-2006)
Jim Bowring successfully defended his Ph.D. desertation on 07/31/06, and is now teaching at the College of Charleston. (07-31-2006)
Term Apiwattanapong passed his Ph.D. proposal, and advanced to candidacy. (07-01-2006)