Neha Rungta

Cited by

	All	Since 2016
Citations	1418	785
h-index	18	14
i10-index	25	15

180

135

20062007200820092010201120122013201420152016201720182019202020214 10 22 31 12 39 64 105 139 167 157 154 145 167 159 3

Co-authors

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Guowei YangTexas State UniversityVerified email at txstate.edu
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Lingming ZhangUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Miryung KimFull Professor, Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
Baishakhi RayAssistant Professor, Columbia UniversityVerified email at cs.columbia.edu
William J. ClanceySenior Research Scientist, Florida Institute for Human and Machine CognitionVerified email at ihmc.us
Michael G. ShaftoNASA (retired June 29, 2013)Verified email at piltdown.com
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Michael A. GoodrichComputer Science Department, Brigham Young UniversityVerified email at cs.byu.edu
Anitha MurugesanHoneywell AerospaceVerified email at honeywell.com
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
Dongjiang YouUniversity of MinnesotaVerified email at cs.umn.edu

Neha Rungta

Amazon Web Services

Verified email at amazon.com

Security Cloud Services Software verification program analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the IEEE/ACM international conference on Automated software …, 2010	274	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	225	2011
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta Automated Software Engineering 20 (3), 391-425, 2013	178	2013
Symbolic execution with mixed concrete-symbolic solving CS Păsăreanu, N Rungta, W Visser Proceedings of the 2011 International Symposium on Software Testing and …, 2011	87	2011
Efficient testing of concurrent programs with abstraction-guided symbolic execution N Rungta, EG Mercer, W Visser International SPIN Workshop on Model Checking of Software, 174-191, 2009	48	2009
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk International SPIN Workshop on Model Checking of Software, 99-116, 2013	47	2013
Detecting and characterizing semantic inconsistencies in ported code B Ray, M Kim, S Person, N Rungta 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	45	2013
A change impact analysis to characterize evolving program behaviors N Rungta, S Person, J Branchaud 2012 28th IEEE International Conference on Software Maintenance (ICSM), 109-118, 2012	42	2012
Feedback-driven dynamic invariant discovery L Zhang, G Yang, N Rungta, S Person, S Khurshid Proceedings of the 2014 International Symposium on Software Testing and …, 2014	39	2014
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th International Conference on Software Engineering …, 2014	36	2014
A synergistic and extensible framework for multi-agent system verification J Hunter, F Raimondi, N Rungta, R Stocker International Foundation for Autonomous Agents and Multiagent Systems, 2013	35	2013
Directed incremental symbolic execution G Yang, S Person, N Rungta, S Khurshid ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-42, 2014	32	2014
Generating counter-examples through randomized guided search N Rungta, EG Mercer International SPIN Workshop on Model Checking of Software, 39-57, 2007	24	2007
Clash of the titans: tools and techniques for hunting bugs in concurrent programs N Rungta, EG Mercer Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009	23	2009
Semantic-based automated reasoning for AWS access policies using SMT J Backes, P Bolignano, B Cook, C Dodge, A Gacek, K Luckow, N Rungta, ... 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018	21	2018
Aviation safety: modeling and analyzing complex interactions between humans and automated systems N Rungta, G Brat, WJ Clancey, C Linde, F Raimondi, C Seah, M Shafto Proceedings of the 3rd international conference on application and theory of …, 2013	19	2013
Analysing the program analyser C Cadar, AF Donaldson Proceedings of the 38th International Conference on Software Engineering …, 2016	18	2016
A context-sensitive structural heuristic for guided search model checking N Rungta, EG Mercer Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005	18	2005
A meta heuristic for effectively detecting concurrency errors N Rungta, EG Mercer Haifa Verification Conference, 23-37, 2008	16	2008
Hardness for explicit state software model checking benchmarks N Rungta, EG Mercer Fifth IEEE International Conference on Software Engineering and Formal …, 2007	16	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors