Corina S. Păsăreanu
Ames Research Center(US)Carnegie Mellon University(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Formal Methods in Verification, Software Engineering Research, Adversarial Robustness in Machine Learning
Most-Cited Works
- → Bandera(2000)1,060 cited
- → Generalized Symbolic Execution for Model Checking and Testing(2003)561 cited
- → Test input generation with java PathFinder(2004)500 cited
- → Learning Assumptions for Compositional Verification(2003)389 cited
- → Symbolic execution for software testing in practice(2011)326 cited
- → Combining unit-level symbolic execution and system-level concrete execution for testing nasa software(2008)279 cited
- → Differential symbolic execution(2008)266 cited