Neha Rungta
Neha Rungta
Amazon Web Services
E-mail confirmado em amazon.com
Título
Citado por
Citado por
Ano
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
2482010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
2112011
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 (3), 391-425, 2013
1612013
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
832011
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
462009
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
432013
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
International SPIN Workshop on Model Checking of Software, 99-116, 2013
432013
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
392012
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
352014
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th International Conference on Software Engineering …, 2014
342014
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
342013
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
272014
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
242009
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
International SPIN Workshop on Model Checking of Software, 39-57, 2007
232007
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
N Rungta, G Brat, WJ Clancey, C Linde, F Raimondi, C Seah, M Shafto
Proceedings of the 3rd international conference on application and theory of …, 2013
182013
A context-sensitive structural heuristic for guided search model checking
N Rungta, EG Mercer
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
182005
Analysing the program analyser
C Cadar, AF Donaldson
Proceedings of the 38th International Conference on Software Engineering …, 2016
162016
Hardness for explicit state software model checking benchmarks
N Rungta, EG Mercer
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
162007
A meta heuristic for effectively detecting concurrency errors
N Rungta, EG Mercer
Haifa Verification Conference, 23-37, 2008
152008
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
142018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20