Segui
Neha Rungta
Neha Rungta
Amazon Web Services
Email verificata su amazon.com
Titolo
Citata da
Citata da
Anno
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
3522010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2722011
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
2252013
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
1072018
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
1002011
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
642013
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
612013
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
562019
Efficient testing of concurrent programs with abstraction-guided symbolic execution
N Rungta, EG Mercer, W Visser
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
522009
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
512014
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
492014
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
492012
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
452014
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
402021
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
382013
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
282019
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
272021
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007
262007
Security policy analyzer service and satisfiability engine
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,757,128, 2020
232020
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
232009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20