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.
Sangmin Park successfully passed his qualifier exam. (03-15-2011)
Mijung Kim presented her paper entitled "An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases" (co-authored by T. Kurc, A. Orso, J. Saltz, M. J. Harrold, A. Post, and J. Cobb) at the 2011 AMIA Summit on Clinical Research Informatics (CRI), San Francisco, CA, March 2011. (03-08-2011)
The Tarantula fault-localization tool is now available for Java. Information about the tool and how to download it is available at aristotleresearch.com (12-12-2010)
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)