Neha Rungta

Cited by

	All	Since 2016
Citations	1545	916
h-index	18	14
i10-index	26	17

180

135

20062007200820092010201120122013201420152016201720182019202020214 10 21 30 11 38 63 106 144 164 158 151 142 162 169 133

Co-authors

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Guowei YangThe University of QueenslandVerified email at uq.edu.au
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
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 GeldenhuysAmazon Web ServicesVerified email at amazon.com
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 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
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	303	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	242	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	197	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	93	2011
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	51	2013
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk International SPIN Workshop on Model Checking of Software, 99-116, 2013	50	2013
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	49	2009
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	44	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	41	2014
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	38	2014
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th International Conference on Software Engineering …, 2014	38	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	36	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	34	2018
Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... International Conference on Computer Aided Verification, 231-241, 2019	25	2019
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
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
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

Follow this author

Cited by

Co-authors