Neha Rungta
Neha Rungta
Amazon Web Services
Verified email at
Cited by
Cited by
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 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
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
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
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
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
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 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
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
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
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
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
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
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
Security policy analyzer service and satisfiability engine
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,757,128, 2020
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 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
Security policy monitoring service
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,630,695, 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
The system can't perform the operation now. Try again later.
Articles 1–20