About Us

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.

NEWS

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  Next >> 

Hina Shah passed her Ph.D. proposal, and advanced to candidacy. (12-16-2011)

Saswat Anand presented his paper entitled "Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs" (co-authoed M. J. Harrold) at the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), which was held in November 2011 in Lawrence, Kansas. (11-27-2011)

Hina Shah presented her paper entitled "Outsourced, Offshored Testing Practice: Vendor-side Experiences" (co-authored by S. Sinha and M. J. Harrold) at the Sixth International Conference on Global Software Engineering (ICGSE 2011), which was held in Helsinki, Finland in August 2011. The paper received the Best Paper Award at the conference. (08-18-2011)

Hina Shah participated in the Doctoral Symposium at the Sixth International Conference on Global Software Engineering (ICGSE 2011), which was held in August 2011 in Helsinki, Finland. (08-01-2011)

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)