Neha Rungta
Neha Rungta
Amazon Web Services
Verified email at amazon.com
TitleCited byYear
Symbolic PathFinder: symbolic execution of Java bytecode
CS Păsăreanu, N Rungta
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
2352010
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Acm Sigplan Notices 46 (6), 504-515, 2011
1902011
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
1472013
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
782011
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
Regression verification using impact summaries
J Backes, S Person, N Rungta, O Tkachuk
International SPIN Workshop on Model Checking of Software, 99-116, 2013
392013
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
352012
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
342013
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
322014
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th International Conference on Software Engineering …, 2014
322014
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
322013
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
242014
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
International SPIN Workshop on Model Checking of Software, 39-57, 2007
232007
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
222009
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
172005
Hardness for explicit state software model checking benchmarks
N Rungta, EG Mercer
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
162007
Analysing the program analyser
C Cadar, AF Donaldson
Proceedings of the 38th International Conference on Software Engineering …, 2016
152016
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
152013
A meta heuristic for effectively detecting concurrency errors
N Rungta, EG Mercer
Haifa Verification Conference, 23-37, 2008
152008
An improved distance heuristic function for directed software model checking
N Rungta, EG Mercer
2006 Formal Methods in Computer Aided Design, 60-67, 2006
132006
The system can't perform the operation now. Try again later.
Articles 1–20