Seguir
Neha Rungta
Neha Rungta
Amazon Web Services
Dirección de correo verificada de amazon.com
Título
Citado por
Citado por
Año
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
3752010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2882011
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
2242013
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
1482018
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
1032011
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
752013
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
712019
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
622013
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
572021
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
562014
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
542014
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
542009
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
532012
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
452014
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
432021
A synergistic and extensible framework for multi-agent system verification
J Hunter, F Raimondi, N Rungta, R Stocker
AAMAS 2013: 12th International Conference on Autonomous Agents and …, 2013
382013
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
372019
Security policy analyzer service and satisfiability engine
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,757,128, 2020
342020
Security policy monitoring service
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,630,695, 2020
282020
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
262020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20