עקוב אחר
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‏
3942010
Directed incremental symbolic execution‏
S Person, G Yang, N Rungta, S Khurshid‏
Acm Sigplan Notices 46 (6), 504-515, 2011‏
2992011
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‏
2312013
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‏
1952018
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‏
1072011
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‏
842019
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‏
822013
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‏
752021
Regression verification using impact summaries‏
J Backes, S Person, N Rungta, O Tkachuk‏
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013‏
712013
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‏
632021
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‏
602014
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‏
572014
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‏
552012
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
Security policy analyzer service and satisfiability engine‏
J Cook, N Rungta, C Dodge, J Puchalski, C Varming‏
US Patent 10,757,128, 2020‏
492020
Property differencing for incremental checking‏
G Yang, S Khurshid, S Person, N Rungta‏
Proceedings of the 36th international conference on software engineering …, 2014‏
472014
One-click formal methods‏
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...‏
IEEE Software 36 (6), 61-65, 2019‏
422019
Security policy monitoring service‏
J Cook, N Rungta, C Dodge, J Puchalski, C Varming‏
US Patent 10,630,695, 2020‏
392020
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‏
392013
A billion SMT queries a day‏
N Rungta‏
International Conference on Computer Aided Verification, 3-18, 2022‏
342022
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20