Neha Rungta

Cited by

	All	Since 2020
Citations	2561	1290
h-index	23	18
i10-index	45	28

340

170

255

200720082009201020112012201320142015201620172018201920202021202220232024202510 20 31 13 39 64 112 144 167 156 150 160 159 192 183 277 296 322 18

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Guowei YangThe University of QueenslandVerified email at uq.edu.au
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com
Lingming ZhangUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Miryung KimFull Professor and Vice Chair of Graduate Studies, UCLA Computer ScienceVerified email at cs.ucla.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
William J. ClanceySenior Research Scientist, Florida Institute for Human and Machine CognitionVerified email at ihmc.org
Michael G. ShaftoNASA (retired June 29, 2013)Verified email at piltdown.com
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

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 25th IEEE/ACM International Conference on Automated …, 2010	394	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	298	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, 391-425, 2013	231	2013
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	187	2018
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	105	2011
Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	83	2019
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	81	2013
Constraint solver execution service and infrastructure therefor N Rungta, TK Azene, PV Bolignano, KS Luckow, S McLaughlin, C Dodge, ... US Patent 10,977,111, 2021	69	2021
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	69	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	62	2014
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	58	2014
Pre-deployment security analyzer service for virtual computing resources N Rungta, PV Bolignano, C Dodge, C Varming, J Cook, R Viswanathan, ... US Patent 11,017,107, 2021	57	2021
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	55	2012
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	53	2009
Security policy analyzer service and satisfiability engine J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,757,128, 2020	48	2020
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014	47	2014
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	43	2019
Security policy monitoring service J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,630,695, 2020	39	2020
A synergistic and extensible framework for multi-agent system verification J Hunter, F Raimondi, N Rungta, R Stocker Proceedings of the 2013 international conference on Autonomous agents and …, 2013	39	2013
A billion SMT queries a day N Rungta International Conference on Computer Aided Verification, 3-18, 2022	32	2022

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

Follow

Cited by

Co-authors