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.
First year software engineering Ph.D. students, Hwa-You Hsu, Paul Li, Ogechi Nnadi, Chris Parnin, Hina Shah, and Yanbing Yu, received the CS7001 Graduate Research Award at the College of Computing's Annual Awards Ceremony. Paul, Hina, and Yanbing are members of the Aristotle Research Group. (04-17-2007)
George Baah passed his qualifier exam, and will move to the next phase of his Ph.D. studies. (04-16-2007)
Saswat Anand presented two papers at TACAS 2007: "Type-dependency Analysis and Program Transformation for Symbolic Execution" (co-authored with Alessandro Orso and Mary Jean Harrold) and "JPF-SE: A Symbolic Execution Extension to Java PathFinder" (co-authored with Corina Pasareanu and Willem Visser, both of NASA Ames Research Center). (03-27-2007)
Surya Kant, president of Tata Consultancy Services (TCS), North America, and Vipul Shah, Director of R&D, TCS North America, visited our lab. (03-14-2007)
Mary Jean Harrold and Hina Shah participated in the CRA-W Graduate Cohort Workshop, which was held at the Westin St. Francis, San Francisco, CA. (03-02-2007)