Concepedia

Neha Rungta

NR

22

Publications

1.3K

Citations

15

H-Index

2005

Active since

Affiliations

Ames Research Center(Current)

Langley Research Center

The University of Texas at Austin

Amazon (United States)

Brigham Young University

Neha Rungta is an author at Ames Research Center specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisAutomated ReasoningVerificationProgram AnalysisSoftware EngineeringSoftware Testing

Publications per year

2005–2024

22

Publications

22

Symbolic PathFinder

Corina S. Păsăreanu, Neha Rungta · 2010 · 247 citations

Engineering, Verification, Test Data Generation +18

Directed incremental symbolic execution

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

Software Maintenance, Engineering, Verification +23

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Corina S. Păsăreanu, Willem Visser, David Bushnell et al. · Automated Software Engineering · 2013 · 170 citations

Program Checking, Engineering, Verification +17

Directed incremental symbolic execution

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

Engineering, Automated Reasoning, Program Analysis +10

Symbolic execution with mixed concrete-symbolic solving

Corina S. Păsăreanu, Neha Rungta, Willem Visser · 2011 · 93 citations

Engineering, Verification, Test Data Generation +20

Rows per page

1–5 of 22