Neha Rungta

Most-cited papers

Symbolic PathFinder: symbolic execution of Java bytecode
C. Păsăreanu, Neha Rungta
2010International Conference on Automated Software Engineering321 citations
Semantic Scholar
Directed incremental symbolic execution
Suzette Person, Guo-Wei Yang, Neha Rungta, Sarfraz Khurshid
2011ACM-SIGPLAN Symposium on Programming Language Design and Implementation268 citations Open access
Semantic Scholar
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
C. Păsăreanu, W. Visser, David H. Bushnell, J. Geldenhuys +2 more
2013International Conference on Automated Software Engineering188 citations
Semantic Scholar
Semantic-based Automated Reasoning for AWS Access Policies using SMT
John D. Backes, Pauline Bolignano, B. Cook, Catherine Dodge +5 more
2018Formal Methods in Computer-Aided Design140 citations Open access
Semantic Scholar
Symbolic execution with mixed concrete-symbolic solving
C. Păsăreanu, Neha Rungta, W. Visser
2011International Symposium on Software Testing and Analysis93 citations
Semantic Scholar
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He +11 more
2024Proc. ACM Program. Lang.88 citations Open access
Semantic Scholar
Detecting and characterizing semantic inconsistencies in ported code
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
2013International Conference on Automated Software Engineering73 citations Open access
Semantic Scholar
Reachability Analysis for AWS-Based Networks
John D. Backes, Sam Bayless, B. Cook, Catherine Dodge +15 more
2019International Conference on Computer Aided Verification69 citations Open access
Semantic Scholar
Regression Verification Using Impact Summaries
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
2013SPIN54 citations
Semantic Scholar
Feedback-driven dynamic invariant discovery
Ling-Ming Zhang, Guo-Wei Yang, Neha Rungta, Suzette Person +1 more
2014International Symposium on Software Testing and Analysis48 citations Open access
Semantic Scholar
A Billion SMT Queries a Day (Invited Paper)
Neha Rungta
2022International Conference on Computer Aided Verification44 citations Open access
Semantic Scholar
A change impact analysis to characterize evolving program behaviors
Neha Rungta, Suzette Person, Joshua Branchaud
2012International Conference on Smart Multimedia40 citations Open access
Semantic Scholar
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
Neha Rungta, E. Mercer, W. Visser
2009SPIN39 citations Open access
Semantic Scholar
Block public access: trust safety verification of access control policies
Malik Bouchet, B. Cook, Bryant Cutler, Anna Druzkina +10 more
2020ESEC/SIGSOFT FSE38 citations Open access
Semantic Scholar
Property differencing for incremental checking
Guo-Wei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta
2014International Conference on Software Engineering38 citations Open access
Semantic Scholar
A synergistic and extensible framework for multi-agent system verification
J. Hunter, F. Raimondi, Neha Rungta, Richard Stocker
2013Adaptive Agents and Multi-Agent Systems29 citations
Semantic Scholar
One-Click Formal Methods
John D. Backes, Pauline Bolignano, B. Cook, Andrew Gacek +7 more
2019IEEE Software27 citations
Semantic Scholar
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
Neha Rungta, G. Brat, W. Clancey, C. Linde +3 more
2013ATACCS25 citations
Semantic Scholar
Stratified Abstraction of Access Control Policies
John D. Backes, Ulises Berrueco, Tyler Bray, D. Brim +14 more
2020International Conference on Computer Aided Verification23 citations Open access
Semantic Scholar
Testing Dafny (experience paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta +1 more
2022International Symposium on Software Testing and Analysis20 citations Open access
Semantic Scholar
Generating Counter-Examples Through Randomized Guided Search
Neha Rungta, E. Mercer
2007SPIN18 citations
Semantic Scholar
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs
Neha Rungta, E. Mercer
2009Parallel and Distributed Systems: Testing, Analysis, and Debugging17 citations
Semantic Scholar
Directed Incremental Symbolic Execution
Guo-Wei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
2014TSEM16 citations Open access
Semantic Scholar
A Meta Heuristic for Effectively Detecting Concurrency Errors
Neha Rungta, E. Mercer
2009Haifa Verification Conference16 citations
Semantic Scholar
Hardness for Explicit State Software Model Checking Benchmarks
Neha Rungta, E. Mercer
2007IEEE International Conference on Software Engineering and Formal Methods14 citations
Semantic Scholar
A context-sensitive structural heuristic for guided search model checking
Neha Rungta, E. Mercer
2005International Conference on Automated Software Engineering13 citations
Semantic Scholar
Better Counterexamples for Dafny
Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamarić, Neha Rungta
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems11 citations Open access
Semantic Scholar
An Approach to Quantify Workload in a System of Agents
Richard Stocker, Neha Rungta, E. Mercer, F. Raimondi +3 more
2015Adaptive Agents and Multi-Agent Systems11 citations
Semantic Scholar
A Computationally Grounded, Weighted Doxastic Logic
Taolue Chen, G. Primiero, F. Raimondi, Neha Rungta
2015Studia Logica: An International Journal for Symbolic Logic11 citations Open access
Semantic Scholar
An Improved Distance Heuristic Function for Directed Software Model Checking
Neha Rungta, E. Mercer
2006Formal Methods in Computer-Aided Design11 citations
Semantic Scholar
How We Built Cedar: A Verification-Guided Approach
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley +9 more
2024SIGSOFT FSE Companion10 citations Open access
Semantic Scholar
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics
Michael W. Whalen, Suzette Person, Neha Rungta, Matthew Staats +1 more
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering10 citations
Semantic Scholar
A Toolkit for Automated Testing of Dafny
Aleksandr Fedchin, Tyler Dean, J. Foster, E. Mercer +6 more
2023NASA Formal Methods9 citations
Semantic Scholar
Vector-clock based partial order reduction for JPF
E. Noonan, E. Mercer, Neha Rungta
2014SOEN9 citations
Semantic Scholar
A hands-on Java Pathfinder tutorial
P. Mehlitz, Neha Rungta, W. Visser
2013International Conference on Software Engineering9 citations
Semantic Scholar
Guided model checking for programs with polymorphism
Neha Rungta, E. Mercer
2009ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation9 citations
Semantic Scholar
Exact Heap Summaries for Symbolic Execution
Benjamin A. Hillery, E. Mercer, Neha Rungta, Suzette Person
2016International Conference on Verification, Model Checking and Abstract Interpretation8 citations
Semantic Scholar
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
A. Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk +3 more
2015NASA Formal Methods8 citations Open access
Semantic Scholar
Automated test case generation for an autopilot requirement prototype
D. Giannakopoulou, Neha Rungta, M. Feary
2013IEEE International Conference on Systems, Man and Cybernetics8 citations Open access
Semantic Scholar
Development context driven change awareness and analysis framework
A. Sarma, Josh Branchaud, Matthew B. Dwyer, Suzette Person +1 more
2014ICSE Companion7 citations Open access
Semantic Scholar
Computing and visualizing the impact of change with Java PathFinder extensions
E. Mercer, Suzette Person, Neha Rungta
2012ACM SIGSOFT Softw. Eng. Notes7 citations
Semantic Scholar
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
2015SOEN6 citations Open access
Semantic Scholar
Helping system engineers bridge the peaks
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek +3 more
2014TwinPeaks 20146 citations Open access
Semantic Scholar
Slicing and dicing bugs in concurrent programs
Neha Rungta, E. Mercer
20102010 ACM/IEEE 32nd International Conference on Software Engineering6 citations
Semantic Scholar
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs
Hyrum D. Carroll, M. Clement, E. Mercer, Neha Rungta +2 more
2007Formal Methods in Computer-Aided Design5 citations
Semantic Scholar
Modeling Complex Air Traffic Management Systems
Neha Rungta, E. Mercer, F. Raimondi, Bjorn C. Krantz +2 more
20162016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE)4 citations
Semantic Scholar
Model checking degrees of belief in a system of agents
G. Primiero, F. Raimondi, Neha Rungta
2014Adaptive Agents and Multi-Agent Systems4 citations Open access
Semantic Scholar
Invariant Discovery Guided by Symbolic Execution
Ling-Ming Zhang, Guo-Wei Yang, Neha Rungta, Suzette Person +1 more
20134 citations
Semantic Scholar
Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model
W. Clancey, Se-Ah Chin, C. Linde, M. Shafto +1 more
2014AAAI Spring Symposia3 citations
Semantic Scholar
Towards a lazier symbolic pathfinder
Benjamin A. Hillery, E. Mercer, Neha Rungta, Suzette Person
2014SOEN3 citations
Semantic Scholar