{"id":"https://openalex.org/W4249310262","doi":"https://doi.org/10.1109/ase51524.2021.9678590","title":"Distribution Models for Falsification and Verification of DNNs","display_name":"Distribution Models for Falsification and Verification of DNNs","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4249310262","doi":"https://doi.org/10.1109/ase51524.2021.9678590"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678590","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678590","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5347675","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101725447","display_name":"Felipe Toledo","orcid":"https://orcid.org/0000-0002-5632-7518"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Felipe Toledo","raw_affiliation_strings":["Dept. of Computer Science, University of Virginia"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Virginia","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077966714","display_name":"David Shriver","orcid":"https://orcid.org/0000-0003-0208-6517"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Shriver","raw_affiliation_strings":["Dept. of Computer Science, University of Virginia"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Virginia","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025318877","display_name":"Sebastian Elbaum","orcid":"https://orcid.org/0000-0001-9592-1352"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Elbaum","raw_affiliation_strings":["Dept. of Computer Science, University of Virginia"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Virginia","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086757331","display_name":"Matthew B. Dwyer","orcid":"https://orcid.org/0000-0002-1937-1544"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew B. Dwyer","raw_affiliation_strings":["Dept. of Computer Science, University of Virginia"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Virginia","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101725447"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":0.5077,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68958507,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"317","last_page":"329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7768486738204956},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6695545315742493},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6345375776290894},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5829381346702576},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.47488635778427124},{"id":"https://openalex.org/keywords/distribution","display_name":"Distribution (mathematics)","score":0.4304426312446594},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.42005956172943115},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4136436879634857},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32093021273612976},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10739365220069885}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7768486738204956},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6695545315742493},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6345375776290894},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5829381346702576},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47488635778427124},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.4304426312446594},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.42005956172943115},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4136436879634857},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32093021273612976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10739365220069885},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/ase51524.2021.9678590","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678590","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:5347675","is_oa":true,"landing_page_url":"https://zenodo.org/record/5347675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.5104746","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5104746","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.5281/zenodo.5347675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5347675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5347675","is_oa":true,"landing_page_url":"https://zenodo.org/record/5347675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":88,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W967948971","https://openalex.org/W1557957257","https://openalex.org/W1673923490","https://openalex.org/W1710734607","https://openalex.org/W1945616565","https://openalex.org/W1959608418","https://openalex.org/W1968783153","https://openalex.org/W1998949669","https://openalex.org/W2133665775","https://openalex.org/W2135642703","https://openalex.org/W2227887088","https://openalex.org/W2243397390","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2616028256","https://openalex.org/W2750384547","https://openalex.org/W2786163515","https://openalex.org/W2788239209","https://openalex.org/W2789524546","https://openalex.org/W2794609696","https://openalex.org/W2800473699","https://openalex.org/W2804337238","https://openalex.org/W2808072655","https://openalex.org/W2888321432","https://openalex.org/W2900153411","https://openalex.org/W2949346385","https://openalex.org/W2950029838","https://openalex.org/W2950183737","https://openalex.org/W2957311447","https://openalex.org/W2957905354","https://openalex.org/W2962692913","https://openalex.org/W2962702177","https://openalex.org/W2962820504","https://openalex.org/W2963054787","https://openalex.org/W2963178695","https://openalex.org/W2963327228","https://openalex.org/W2963440492","https://openalex.org/W2963496101","https://openalex.org/W2963542245","https://openalex.org/W2963684088","https://openalex.org/W2963913218","https://openalex.org/W2964122153","https://openalex.org/W2991226929","https://openalex.org/W3005464309","https://openalex.org/W3034723908","https://openalex.org/W3043641198","https://openalex.org/W3043655933","https://openalex.org/W3081023013","https://openalex.org/W3089028909","https://openalex.org/W3090972680","https://openalex.org/W3091412496","https://openalex.org/W3103158293","https://openalex.org/W3125205424","https://openalex.org/W3129166376","https://openalex.org/W3156089232","https://openalex.org/W3163395228","https://openalex.org/W3183369696","https://openalex.org/W4205950066","https://openalex.org/W4230839296","https://openalex.org/W4285486545","https://openalex.org/W4293846201","https://openalex.org/W4294349862","https://openalex.org/W4301187031","https://openalex.org/W4320013936","https://openalex.org/W6637162671","https://openalex.org/W6637688222","https://openalex.org/W6640425456","https://openalex.org/W6640963894","https://openalex.org/W6685352114","https://openalex.org/W6711870810","https://openalex.org/W6719080892","https://openalex.org/W6732492507","https://openalex.org/W6739868092","https://openalex.org/W6743688258","https://openalex.org/W6748277150","https://openalex.org/W6750745550","https://openalex.org/W6751044371","https://openalex.org/W6751834733","https://openalex.org/W6754681091","https://openalex.org/W6758800702","https://openalex.org/W6760757228","https://openalex.org/W6763887731","https://openalex.org/W6765694979","https://openalex.org/W6770927480","https://openalex.org/W6774125049","https://openalex.org/W6783637622","https://openalex.org/W6790840731"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W2587222766","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W4389574038","https://openalex.org/W105332898","https://openalex.org/W2041380991"],"abstract_inverted_index":{"DNN":[0,46,72,101],"validation":[1,29],"and":[2,15,30,48,83,103,124,134,157,169],"verification":[3,31,49,97,104,125],"approaches":[4],"that":[5,40,68,142],"are":[6,149],"input":[7,53,61,89,109],"distribution":[8,62,93,110,137],"agnostic":[9],"waste":[10],"effort":[11],"on":[12,21,27,50],"irrelevant":[13],"inputs":[14,76],"report":[16],"false":[17],"property":[18,86],"violations.":[19],"Drawing":[20],"the":[22,37,51,71,80,85,88,92,108,143,147,154,161],"large":[23],"body":[24],"of":[25,32,91,114,119,153,163],"work":[26],"model-based":[28],"traditional":[33],"systems,":[34],"we":[35],"introduce":[36],"first":[38],"approach":[39],"leverages":[41],"environmental":[42],"models":[43],"to":[44,70,73,77,87,106],"focus":[45],"falsification":[47,102,123],"relevant":[52],"space.":[54],"Our":[55,117],"approach,":[56],"DFV,":[57],"automatically":[58],"builds":[59],"an":[60],"model":[63,69],"using":[64],"unsupervised":[65],"learning,":[66],"prefixes":[67],"force":[74],"all":[75],"come":[78],"from":[79],"learned":[81],"distribution,":[82,156],"reformulates":[84],"space":[90],"model.":[94],"This":[95],"transformed":[96],"problem":[98],"allows":[99],"existing":[100],"tools":[105,148],"target":[107],"\u2013":[111],"avoiding":[112],"consideration":[113],"infeasible":[115],"inputs.":[116],"study":[118],"DFV":[120,164],"with":[121],"7":[122],"tools,":[126],"two":[127],"DNNs":[128],"defined":[129],"over":[130],"different":[131],"data":[132,155],"sets,":[133],"93":[135],"distinct":[136],"models,":[138,168],"provides":[139],"clear":[140],"evidence":[141],"counterexamples":[144],"found":[145],"by":[146],"much":[150],"more":[151],"representative":[152],"it":[158],"shows":[159],"how":[160],"performance":[162],"varies":[165],"across":[166],"domains,":[167],"tools.":[170]},"counts_by_year":[{"year":2023,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}