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 presented her paper entitled "Regression Testing in the Presence of Non-code Changes" (co-authored by A. Nanda, S. Mani, S. Sinha, and A. Orso.) at the Fourth IEEE International Conference on Testing, Verification, and Validation, which was held in Berlin, Germany, March 2011. (03-29-2011)
George Baah passed his Ph.D. proposal and has advanced to candidacy. (03-15-2011)
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)