| Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 317 | 2010 |
| Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011 | 249 | 2011 |
| 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 | 209 | 2013 |
| 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 | 96 | 2011 |
| Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk International SPIN Workshop on Model Checking of Software, 99-116, 2013 | 57 | 2013 |
| 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 | 56 | 2013 |
| 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 | 49 | 2009 |
| 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 | 45 | 2018 |
| 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 | 45 | 2012 |
| 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 | 43 | 2014 |
| 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 | 42 | 2014 |
| Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th International Conference on Software Engineering …, 2014 | 40 | 2014 |
| 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 | 37 | 2013 |
| Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... International Conference on Computer Aided Verification, 231-241, 2019 | 28 | 2019 |
| Generating counter-examples through randomized guided search N Rungta, EG Mercer International SPIN Workshop on Model Checking of Software, 39-57, 2007 | 26 | 2007 |
| 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 | 23 | 2009 |
| One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019 | 21 | 2019 |
| 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 | 19 | 2013 |
| Semantic-based Automated Reasoning for AWS Access Policies using SMT, 2018 Formal Methods in Computer Aided Design (FMCAD) J Backes, P Bolignano, B Cook, C Dodge, A Gacek, K Luckow, N Rungta, ... Oct, 2018 | 18 | 2018 |
| A meta heuristic for effectively detecting concurrency errors N Rungta, EG Mercer Haifa Verification Conference, 23-37, 2008 | 18 | 2008 |
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
