팔로우
Neha Rungta
Neha Rungta
Amazon Web Services
amazon.com의 이메일 확인됨
제목
인용
인용
연도
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
3632010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2832011
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
1182018
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
1012011
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
702013
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
592019
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
592013
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
532009
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
512014
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
512012
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
492021
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
442014
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
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
352021
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
302019
Security policy analyzer service and satisfiability engine
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,757,128, 2020
272020
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
International SPIN Workshop on Model Checking of Software, 39-57, 2007
262007
Security policy monitoring service
J Cook, N Rungta, C Dodge, J Puchalski, C Varming
US Patent 10,630,695, 2020
242020
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20