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.
Jake Cobb presented his paper entitled "Dynamic Invariant Detection for Relational Databases" (co-authored by G. Kafphammer, J. A. Jones, and M. J. Harrold) at the Workshop on Dynamic Analysis (WODA 2011), which was co-located with ACM International Symposium on Software Testing and Analysis (ISSTA) in Toronto, ON, Canada, July 2011. (07-25-2011)
Saswat Anand passed his Ph.D. proposal and advanced to candidacy. (05-01-2011)
Raul Santelices presented his paper entitled "Applying Aggressive Propagation-based Strategies for Testing Changes" (co-authored by M. J. Harrold) at the Fourth IEEE International Conference on Testing, Verification, and Validation, which was held in Berlin, Germany, March 2011. (03-30-2011)
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)