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.
Mary Jean Harrold is in the 2011 class of newly elevated IEEE Fellows (see http://www.ieee.org/documents/fellows_class_2011.pdf). (12-10-2010)
Carsten Görg has accepted a position as instructor in the Computational Bioscience Program at the University of Colorado School of Medicine, and started the position in September 2010. He will apply visual analytics research to the biomedical domain. For more information about his new department, see the Computational Bioscience Program website at compbio.ucdenver.edu/ (10-10-2010)
Raul Santelices presented his paper entitled "Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution" (co-authored by M. J. Harrold) at ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), which was held July 14-16, 2010 in Trento. (07-27-2010)
George Baah presented his paper entitled "Causal Inference for Statistical Fault Localization" (co-authored by A. Podgurski and M. J. Harrold) at ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), which was held July 14-16, 2010 in Trento, Italy. (07-26-2010)
Mary Jean Harrold presented a lecture entitled "Techniques for Improved Testing of Evolving Software" at the 7th International Summer School on Software Engineering, sponsored by the University of Salerno, Italy, which was held July 6-9, 2010 in Salerno, Italy. (07-13-2010)