Carnegie Mellon University
Building 23 (MS-11)
Moffett Field, CA 94035
Web: NASA web profile
Corina Pasareanu, Senior Systems Scientist
Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon University, at the Silicon Valley campus. Her research area is software verification. She investigates the use of abstraction and symbolic execution in the context of the Java PathFinder verification tool set, with applications to test input generation and error detection. Currently, her main interest is in developing, extending and maintaining Symbolic PathFinder, a symbolic execution tool for Java bytecode. She is also working on using learning techniques for automating assume-guarantee compositional verification. Currently she is working on compositional techniques for probabilistic systems. Her research interests also include parallelization of verification tasks and modeling and analysis for multiple statechart formalisms.