Felipe Toledo
David Shriver
Sebastian Elbaum
Matthew Dwyer
2021-07-14
<p><strong>DFV Artifact</strong></p>
<p>This is the artifact to accompany the ASE technical track submission "Distribution Models for Falsification and Verification of DNNs".</p>
<p>This artifact can also be found at <a href="https://github.com/less-lab-uva/DFV-Artifact">https://github.com/less-lab-uva/DFV-Artifact</a>.</p>
https://doi.org/10.5281/zenodo.5104746
oai:zenodo.org:5104746
eng
Zenodo
https://doi.org/10.5281/zenodo.5104745
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
ASE 2021, Automated Software Engineering 2021
DFV, Artifact, DNN, Verification, Testing
Distribution Models for Falsification and Verification of DNNs
info:eu-repo/semantics/other