| Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing | 0 | 0.34 | 2022 |
| Debugging a Policy: Automatic Action-Policy Testing in AI Planning. | 0 | 0.34 | 2022 |
| Metamorphic testing of Datalog engines | 2 | 0.37 | 2021 |
| Synthesizing Tasks for Block-based Programming | 0 | 0.34 | 2020 |
| DeepSearch: a simple and effective blackbox attack for deep neural networks | 3 | 0.37 | 2020 |
| Targeted greybox fuzzing with static lookahead analysis | 1 | 0.35 | 2020 |
| Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing | 2 | 0.36 | 2020 |
| Perfectly Parallel Fairness Certification of Neural Networks | 0 | 0.34 | 2020 |
| Semantic Fault Localization and Suspiciousness Ranking. | 0 | 0.34 | 2019 |
| Harvey: A Greybox Fuzzer for Smart Contracts. | 4 | 0.38 | 2019 |
| Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. | 0 | 0.34 | 2019 |
| Targeted Greybox Fuzzing with Static Lookahead Analysis. | 0 | 0.34 | 2019 |
| Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. | 0 | 0.34 | 2018 |
| Specification Mining for Smart Contracts with Automatic Abstraction Tuning. | 0 | 0.34 | 2018 |
| Differentially Testing Soundness and Precision of Program Analyzers. | 5 | 0.42 | 2018 |
| Learning Inputs in Greybox Fuzzing. | 0 | 0.34 | 2018 |
| Automatically testing implementations of numerical abstract domains. | 1 | 0.35 | 2018 |
| CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews | 0 | 0.34 | 2018 |
| Failure-directed program trimming | 3 | 0.41 | 2017 |
| A general framework for dynamic stub injection. | 0 | 0.34 | 2017 |
| Failure-Directed Program Trimming (Extended Version). | 0 | 0.34 | 2017 |
| On Narrowing The Gap Between Verification And Systematic Testing | 0 | 0.34 | 2017 |
| Bounded Abstract Interpretation. | 3 | 0.38 | 2016 |
| Integrated Environment for Diagnosing Verification Errors. | 4 | 0.41 | 2016 |
| Guiding Dynamic Symbolic Execution toward Unverified Program Executions | 10 | 0.50 | 2016 |
| What developers want and need from program analysis: an empirical study. | 36 | 1.07 | 2016 |
| IC-Cut: A Compositional Search Strategy for Dynamic Test Generation | 7 | 0.53 | 2015 |
| An Experimental Evaluation Of Deliberate Unsoundness In A Static Program Analyzer | 13 | 0.56 | 2015 |
| Proving Memory Safety Of The Ani Windows Image Parser Using Compositional Exhaustive Testing | 7 | 0.46 | 2015 |
| Brückenschlag zwischen Verifikation und systematischem Testen. | 0 | 0.34 | 2015 |
| Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. | 0 | 0.34 | 2014 |
| Formalizing and Verifying a Modern Build Language. | 13 | 0.67 | 2014 |
| Systematic Testing for Detecting Concurrency Errors in Erlang Programs | 17 | 0.70 | 2013 |
| Collaborative Verification and Testing with Explicit Assumptions. | 29 | 0.94 | 2012 |
| Test-driven development of concurrent programs using concuerror | 11 | 0.70 | 2011 |
| Detection of asynchronous message passing errors using static analysis | 15 | 0.67 | 2011 |
| Static detection of race conditions in erlang | 14 | 0.69 | 2010 |
