Concepedia

Corina S. Păsăreanu

CS

92

Publications

7.1K

Citations

43

H-Index

1998

Active since

Affiliations

Ames Research Center(Current)

Carnegie Mellon University

Research Institute for Advanced Computer Science

Stellenbosch University

The University of Texas at Austin

Corina S. Păsăreanu is an author at Ames Research Center specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsSoftware TestingSoftware EngineeringVerificationAutomated Reasoning

Publications per year

1998–2023

92

Publications

92

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Finite-state Verification Techniques, Engineering, Program Checking +15

Test input generation with java PathFinder

Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid · 2004 · 500 citations

Engineering, Verification, Test Data Generation +21

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid et al. · 2011 · 325 citations

Software Maintenance, Engineering, Verification +19

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

Corina S. Păsăreanu, Peter Mehlitz, David Bushnell et al. · 2008 · 279 citations

Software Maintenance, Java Pathfinder Model, Engineering +25

Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian Elbaum et al. · 2008 · 264 citations

Software Maintenance, Engineering, Change Impact Analysis +21

Rows per page

1–5 of 92