Concepedia

Suzette Person

SP

15

Publications

1.3K

Citations

14

H-Index

2005

Active since

Affiliations

Ames Research Center(Current)

University of Nebraska–Lincoln

Langley Research Center

The University of Texas at Austin

Texas State University

Suzette Person is an author at Ames Research Center specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationSoftware TestingSoftware EngineeringVerificationSoftware Design

Publications per year

2005–2015

15

Publications

15

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

Directed incremental symbolic execution

Suzette Person, Guowei Yang, Neha Rungta et al. · ACM SIGPLAN Notices · 2011 · 174 citations

Software Maintenance, Engineering, Verification +23

Directed incremental symbolic execution

Suzette Person, Guowei Yang, Neha Rungta et al. · 2011 · 138 citations

Engineering, Automated Reasoning, Program Analysis +10

Parallel Randomized State-Space Search

Matthew B. Dwyer, Sebastian Elbaum, Suzette Person et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 87 citations

Cluster Computing, Program Checking, Engineering +24

Rows per page

1–5 of 15