CMUSV Senior Scientist Presents Keynote Address at TAP ’12-Silicon Valley Campus - Carnegie Mellon University

CMUSV Senior Scientist Presents Keynote Address at TAP ’12

On June 1st, 2012, Dr. Corina Pasareanu, a Carnegie Mellon senior scientist and researcher with the Robust Software Engineering group at NASA Ames Research Center, gave one of two invited keynote talks at the 6th International Conference on Tests and Proofs (TAP'12), part of the TOOLS Europe (50th International Conference on Objects, Models, Components, Patterns), in Prague, Czech Republic. Dr. Pasareanu’s research focuses on scalable testing and verification techniques for ensuring the reliability and safety of NASA systems.

Her talk, titled “Combining Model Checking and Symbolic Execution for Software Testing," provided an overview of the advanced software testing techniques she has developed with collaborators. Dr. Pasareanu focused on systematic analysis techniques, such as model checking and symbolic execution, and their use for the automated generation of test cases that achieve high testing coverage. These techniques have been implemented in their tool, Symbolic PathFinder (SPF), which uses off-the-shelf decision procedures to solve mixed integer-real constraints and “lazy initialization” to handle complex input data structures. Recently, SPF has been extended with “mixed concrete-symbolic” constraint solving capabilities, to handle external library calls and to address decision procedures’ incompleteness. Dr. Pasareanu also addressed the importance of this research as SPF is “part of the Java PathFinder open-source tool-set and has been applied in many projects at NASA, in industry and in academia.”

TAP is part of the TOOLS Europe (50th International Conference on Objects, Models, Components, Patterns) and is committed to combining proofs and tests for the advancement of software quality and consists of a mix of invited and submitted presentations, panels and informal discussions. This year, sixteen papers and talks were presented over the course of two days. Dr. Pasareanu’s keynote address was received particularly well, with a large number of participants approaching her afterwards with questions and comments inviting extensive further discussions on her research.

Her work on automated testing techniques has received several awards, including NASA Turning Goals into Reality Award for JPF (2003), IBM HVC Award (2007) and Outstanding Technology Development Award for JPF (2009). More information on Dr. Pasareanu and her research can be found on her website.