Neha Rungta

Cited by

	All	Since 2019
Citations	2489	1375
h-index	23	19
i10-index	43	26

300

150

225

20072008200920102011201220132014201520162017201820192020202120222023202410 20 31 13 39 64 112 144 166 156 151 159 159 192 183 275 293 270

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
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
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
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
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Anitha MurugesanHoneywell AerospaceVerified email at honeywell.com

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	393	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	296	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	230	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	182	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	81	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	79	2013
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	68	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	63	2021
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	61	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	57	2014
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
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	47	2021
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014	46	2014
Security policy analyzer service and satisfiability engine J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,757,128, 2020	43	2020
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
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
Security policy monitoring service J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,630,695, 2020	34	2020
Block public access: trust safety verification of access control policies M Bouchet, B Cook, B Cutler, A Druzkina, A Gacek, L Hadarean, R Jhala, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020	31	2020

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