Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks

Download PDF
Open Webpage

David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer

Published: 01 Jan 2021, Last Modified: 16 May 2025ICSE (Companion Volume) 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present an artifact to accompany Reducing DNN Properties to Enable Falsification with Adversarial Attacks which includes the DNNF tool, data and scripts to facilitate the replication of its study. The artifact is both reusable and available. DNNF is available on Github, and we provide an artifact to reproduce our study as a VirtualBox virtual machine image. Full replication of the study requires 64GB of memory and 8 CPU cores. Users should know how to use VirtualBox, as well as have basic knowledge of the bash shell.