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 |