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.
Chaitanya Namburi returned from his summer internship at Microsoft. While at Microsoft, he worked in the Windows Core Operating System Division, and developed a single-machine test tool for Windows Firewall verification. (08-21-2008)
Hina Shah returned from a summer internship at IBM T. J. Watson Research Center, Hawthorne, NY. While at IBM, she worked with Robert Farrell and Wendy Kellogg in the Social Computing Group on the Longitude tool, which is a timeline visualization for organizational processes. (08-21-2008)
George Baah presented his paper entitled "The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis," co-authored with Andy Podgurski (Case Western Reserve) and Mary Jean Harrold, at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). The conference was held July 21-24, 2008 in Seattle, WA. (07-24-2008)
Jim Jones has accepted a position as assistant professor in the Department of Informatics at University of California, Irvine, and will begin in fall 2008. (07-07-2008)
Jim Jones presented his paper entitled "An Empirical Study of the Effects of Test-Suite Reduction on Fault Localization" co-authored with Yanbing Yu and Mary Jean Harrold at the 30th IEEE/ACM International Conference on Software Engineering (ICSE 2008). The conference was held May 10-18, 2008 in Leipzig, Germany. (05-20-2008)