Остановите войну!
for scientists:
default search action
Neha Rungta
- > Home > Persons > Neha Rungta
Publications
- 2023
- [c43]Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip:
A Toolkit for Automated Testing of Dafny. NFM 2023: 397-413 - 2016
- [j10]Eric Mercer, Neha Rungta, Douglas J. Gillan:
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. IEEE Trans. Hum. Mach. Syst. 46(2): 169-173 (2016) - [c35]Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace:
Modeling complex air traffic management systems. MiSE@ICSE 2016: 41-47 - [c33]Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person:
Exact Heap Summaries for Symbolic Execution. VMCAI 2016: 206-225 - 2015
- [c32]Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich:
An Approach to Quantify Workload in a System of Agents. AAMAS 2015: 1041-1050 - 2014
- [j7]Manish Jain, Albert Xin Jiang, Takashi Kido, Keiki Takadama, Eric G. Mercer, Neha Rungta, Mark Waser, Alan Wagner, Jennifer L. Burke, Donald A. Sofge, William F. Lawless, Mohan Sridharan, Nick Hawes, Tim Hwang:
Reports of the 2014 AAAI Spring Symposium Series. AI Mag. 35(3): 70-76 (2014) - [j6]Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person:
Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j5]Eric Noonan, Eric Mercer, Neha Rungta:
Vector-clock based partial order reduction for JPF. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c28]Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass:
Preface. AAAI Spring Symposia 2014 - 2012
- [j1]Eric Mercer, Suzette Person, Neha Rungta:
Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - 2011
- [c15]Saint Wesonga, Eric G. Mercer, Neha Rungta:
Guided test visualization: Making sense of errors in concurrent programs. ASE 2011: 624-627 - [c13]Topher Fischer, Eric Mercer, Neha Rungta:
Symbolically modeling concurrent MCAPI executions. PPoPP 2011: 307-308 - 2010
- [c11]Neha Rungta, Eric Mercer:
Slicing and dicing bugs in concurrent programs. ICSE (2) 2010: 195-198 - 2009
- [c9]Neha Rungta, Eric G. Mercer:
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. PADTAD 2009 - [c8]Neha Rungta, Eric G. Mercer:
Guided model checking for programs with polymorphism. PEPM 2009: 21-30 - [c7]Neha Rungta, Eric G. Mercer, Willem Visser:
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191 - 2008
- [c6]Neha Rungta, Eric G. Mercer:
A Meta Heuristic for Effectively Detecting Concurrency Errors. Haifa Verification Conference 2008: 23-37 - 2007
- [c5]Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell:
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. FMCAD 2007: 216-219 - [c4]Neha Rungta, Eric G. Mercer:
Hardness for Explicit State Software Model Checking Benchmarks. SEFM 2007: 247-256 - [c3]Neha Rungta, Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search. SPIN 2007: 39-57 - 2006
- [c2]Neha Rungta, Eric G. Mercer:
An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD 2006: 60-67 - 2005
- [c1]Neha Rungta, Eric G. Mercer:
A context-sensitive structural heuristic for guided search model checking. ASE 2005: 410-413
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint