<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Distribution Models for Falsification and Verification of DNNs

Name: Distribution Models for Falsification and Verification of DNNs
Keywords: DFV, Artifact, DNN, Verification, Testing, Neural Networks, Input distribution model, Verification, Falsification, DFV

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 14 Jul 2021 English Publisher:Zenodo

Authors: Felipe Toledo; David Shriver; Sebastian Elbaum; Matthew Dwyer;

doi: 10.5281/zenodo.5347675 , 10.5281/zenodo.5104745 , 10.5281/zenodo.5104746 , 10.5281/zenodo.5346898

Distribution Models for Falsification and Verification of DNNs

- Summary
- Subjects
- Metrics

Abstract

DFV Artifact This is the artifact to accompany the ASE technical track submission "Distribution Models for Falsification and Verification of DNNs". This artifact can also be found at https://github.com/less-lab-uva/DFV-Artifact.

Related Organizations

University of Virginia
United States

Keywords

DFV, Artifact, DNN, Verification, Testing, Neural Networks, Input distribution model, Verification, Falsification, DFV

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Usage byUsageCounts

visibility	views	161
download	downloads	199

161
views
199
downloads
Powered by

Found an issue? Give us feedback

visibility

download

Average

161

199