Neha Rungta

According to our database1, Neha Rungta authored at least 51 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Block public access: trust safety verification of access control policies.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Stratified Abstraction of Access Control Policies.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
One-Click Formal Methods.
IEEE Softw., 2019


2018
Semantic-based Automated Reasoning for AWS Access Policies using SMT.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Verification column.
ACM SIGLOG News, 2017

Formal Analysis of Multiple Coordinated HMI Systems.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability.
IEEE Trans. Hum. Mach. Syst., 2016

A Computationally Grounded, Weighted Doxastic Logic.
Stud Logica, 2016

Exact Heap Summaries for Symbolic Execution.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring.
Proceedings of the Intelligent Environments 2016, 2016

Modeling complex air traffic management systems.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.
ACM SIGSOFT Softw. Eng. Notes, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

An Approach to Quantify Workload in a System of Agents.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Directed Incremental Symbolic Execution.
ACM Trans. Softw. Eng. Methodol., 2014

Vector-clock based partial order reduction for JPF.
ACM SIGSOFT Softw. Eng. Notes, 2014

Towards a lazier symbolic pathfinder.
ACM SIGSOFT Softw. Eng. Notes, 2014

Reports of the 2014 AAAI Spring Symposium Series.
AI Mag., 2014

Feedback-driven dynamic invariant discovery.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Property differencing for incremental checking.
Proceedings of the 36th International Conference on Software Engineering, 2014

Development context driven change awareness and analysis framework.
Proceedings of the 36th International Conference on Software Engineering, 2014

Helping system engineers bridge the peaks.
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Model checking degrees of belief in a system of agents.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Preface.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Maintaining the health of software monitors.
Innov. Syst. Softw. Eng., 2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng., 2013

Regression Verification Using Impact Summaries.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Detecting and characterizing semantic inconsistencies in ported code.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A hands-on Java PathFinder tutorial.
Proceedings of the 35th International Conference on Software Engineering, 2013

A synergistic and extensible framework for multi-agent system verification.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Aviation safety: modeling and analyzing complex interactions between humans and automated systems.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012
Computing and visualizing the impact of change with Java PathFinder extensions.
ACM SIGSOFT Softw. Eng. Notes, 2012

A change impact analysis to characterize evolving program behaviors.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011
Automated test case generation for an autopilot requirement prototype.
Proceedings of the IEEE International Conference on Systems, 2011

Symbolically modeling concurrent MCAPI executions.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Guided test visualization: Making sense of errors in concurrent programs.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Symbolic execution with mixed concrete-symbolic solving.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010
Symbolic PathFinder: symbolic execution of Java bytecode.
Proceedings of the ASE 2010, 2010

Slicing and dicing bugs in concurrent programs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.
Proceedings of the Model Checking Software, 2009

Guided model checking for programs with polymorphism.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008
A Meta Heuristic for Effectively Detecting Concurrency Errors.
Proceedings of the Hardware and Software: Verification and Testing, 2008

2007
Generating Counter-Examples Through Randomized Guided Search.
Proceedings of the Model Checking Software, 2007

Hardness for Explicit State Software Model Checking Benchmarks.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006
An Improved Distance Heuristic Function for Directed Software Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005
A context-sensitive structural heuristic for guided search model checking.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005


  Loading...