Concepedia

Author

Neha Rungta

Ames Research CenterORCID

Also Known As

N. Rungta, Neha Rungta, Rungta, Neha

85

Publications

1.7K

Citations

19

H-Index

58

Concepts

All Affiliations

Ames Research CenterLangley Research CenterThe University of Texas at AustinAmazon (United States)Brigham Young University
NR

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

20

1.3K

2

Computer Science

15

20

1.3K

3

Computer Engineering

7

7

690

4

Language Studies

1

1

65

5

Law

1

1

22

Neha Rungta

×

22

Publications

1.3K

Citations

15

H-Index

YearCitations

Symbolic PathFinder

Corina S. Păsăreanu, Neha Rungta

2010

247

Directed incremental symbolic execution

Suzette Person, Guowei Yang, Neha Rungta,

ACM SIGPLAN Notices

2011

174

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

Corina S. Păsăreanu, Willem Visser, David Bushnell,

Automated Software Engineering

2013

170

Directed incremental symbolic execution

Suzette Person, Guowei Yang, Neha Rungta,

2011

138

Symbolic execution with mixed concrete-symbolic solving

Corina S. Păsăreanu, Neha Rungta, Willem Visser

2011

93

Semantic-based Automated Reasoning for AWS Access Policies using SMT

John Backes, Pauline Bolignano, Byron Cook,

2018

89

Detecting and characterizing semantic inconsistencies in ported code

Baishakhi Ray, Miryung Kim, Suzette Person,

2013

65

Directed Incremental Symbolic Execution

Guowei Yang, Suzette Person, Neha Rungta,

ACM Transactions on Software Engineering and Methodology

2014

42

Feedback-driven dynamic invariant discovery

Lingming Zhang, Guowei Yang, Neha Rungta,

2014

42

A change impact analysis to characterize evolving program behaviors

Neha Rungta, Suzette Person, Joshua Branchaud

2012

38

Page 1