{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:15:05Z","timestamp":1740100505575,"version":"3.37.3"},"reference-count":67,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678590","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"317-329","source":"Crossref","is-referenced-by-count":4,"title":["Distribution Models for Falsification and Verification of DNNs"],"prefix":"10.1109","author":[{"given":"Felipe","family":"Toledo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Shriver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/LRA.2018.2795643"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1007\/978-3-030-81685-8_6"},{"key":"ref33","first-page":"5273","article-title":"Towards fast computation of certified robustness for relu networks","volume":"80","author":"weng","year":"2018","journal-title":"ICML ser Proceedings of Machine Learning Research"},{"key":"ref32","first-page":"5283","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","volume":"80","author":"wong","year":"2018","journal-title":"ICML ser Proceedings of Machine Learning Research"},{"year":"0","author":"tjeng","article-title":"Evaluating robustness of neural networks with mixed integer programming","key":"ref31"},{"key":"ref30","article-title":"Certified defenses against adversarial examples","author":"raghunathan","year":"2018","journal-title":"ICLRE"},{"key":"ref37","first-page":"4795","article-title":"A unified view of piecewise linear neural network verification","author":"bunel","year":"2018","journal-title":"NeurIPS"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/978-3-319-68167-2_19"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1007\/978-3-319-63387-9_5"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref60","article-title":"Adversarial examples in the physical world","author":"kurakin","year":"2017","journal-title":"5th International Conference on Learning Representations ICLR 2017"},{"key":"ref62","article-title":"Towards deep learning models resistant to adversarial attacks","author":"madry","year":"2018","journal-title":"6th International Conference on Learning Representations ICLR 2018"},{"doi-asserted-by":"publisher","key":"ref61","DOI":"10.1109\/CVPR.2016.282"},{"key":"ref63","first-page":"2513","article-title":"Efficient neural network verification via adaptive refinement and adversarial search","volume":"325","author":"henriksen","year":"0"},{"key":"ref28","first-page":"2621","article-title":"Measuring neural net robustness with constraints","author":"bastani","year":"0"},{"doi-asserted-by":"publisher","key":"ref64","DOI":"10.1007\/978-3-030-53288-8_4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TNNLS.2018.2808470"},{"doi-asserted-by":"publisher","key":"ref65","DOI":"10.1007\/978-3-030-53288-8_5"},{"year":"0","author":"liu","article-title":"Vnn-comp","key":"ref66"},{"key":"ref29","first-page":"162","article-title":"A dual approach to scalable verification of deep networks","author":"dvijotham","year":"2018","journal-title":"Proceedings of the Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-18)"},{"year":"2016","author":"radford","article-title":"Unsupervised representation learning with deep convolutional generative adversarial networks","key":"ref67"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/3132747.3132785"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/3180155.3180220"},{"key":"ref20","first-page":"172","article-title":"Improving model-based testing in automotive software engineering","author":"markthaler","year":"2018","journal-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering Software Engineering in Practice Track (ICSE-SEIP)"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-319-21690-4_20"},{"key":"ref21","first-page":"284","article-title":"Finding feasible counter-examples when model checking abstracted java programs","author":"p?s?reanu","year":"2001","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.24963\/ijcai.2018\/368"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/SP.2018.00058"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/3290354"},{"key":"ref25","first-page":"15 072","article-title":"Beyond the single neuron convex barrier for neural network certification","author":"singh","year":"0"},{"year":"0","author":"dai","article-title":"Diagnosing and enhancing VAE models","key":"ref50"},{"key":"ref51","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2014","journal-title":"2nd International Conference on Learning Representations ICLR 2014"},{"key":"ref59","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"2015","journal-title":"3rd International Conference on Learning Representations ICLR 2015"},{"doi-asserted-by":"publisher","key":"ref58","DOI":"10.1109\/AITEST49225.2020.00010"},{"doi-asserted-by":"publisher","key":"ref57","DOI":"10.1145\/3368089.3409730"},{"year":"2021","author":"shriver","article-title":"DNNF","key":"ref56"},{"key":"ref55","article-title":"Algorithms for verifying deep neural networks","author":"liu","year":"2019","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref54","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref53","first-page":"6369","article-title":"Efficient formal safety analysis of neural networks","author":"wang","year":"2018","journal-title":"NeurIPS"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1109\/TNNLS.2018.2886017"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ICSE43902.2021.00036"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/IVS.2018.8500421"},{"key":"ref40","article-title":"Auto-encoding variational bayes","author":"kingma","year":"2014","journal-title":"2nd International Conference on Learning Representations ICLR 2014"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/ASE.2015.89"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/ASE.2011.6100137"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ASE.2003.1240300"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICSE.2004.1317443"},{"key":"ref16","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/HASE.2011.24"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-3-642-54862-8_26"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/3238147.3240481"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/3293882.3330579"},{"key":"ref3","first-page":"4901","article-title":"TensorFuzz: Debugging neural networks with coverage-guided fuzzing","volume":"97","author":"odena","year":"0"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1145\/3324884.3416609","article-title":"Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness","author":"berend","year":"2020","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/3238147.3238172"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3238147.3238202"},{"key":"ref7","article-title":"Distribution-Aware Testing of Neural Networks Using Generative Model","author":"dola","year":"2021","journal-title":"Proceedings of the International Conference on Software Engineering"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/TIP.2003.819861"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/3377816.3381734"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1109\/JPROC.2021.3052449"},{"year":"2016","author":"goodfellow","journal-title":"Deep Learning","key":"ref45"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1007\/978-3-030-52893-5_10"},{"year":"2017","author":"salimans","article-title":"Pixelcnn++: Improving the pixelcnn with discretized logistic mixture likelihood and other modifications","key":"ref47"},{"key":"ref42","first-page":"7176","article-title":"Reliable fidelity and diversity metrics for generative models","author":"naeem","year":"2020","journal-title":"International Conference on Machine Learning"},{"key":"ref41","first-page":"2672","article-title":"Generative adversarial nets","author":"goodfellow","year":"0","journal-title":"Advances in Neural Information Processing Systems 27"},{"year":"2017","author":"xiao","article-title":"Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms","key":"ref44"},{"year":"2021","author":"alaa","article-title":"How faithful is your synthetic data? sample-level metrics for evaluating and auditing generative models","key":"ref43"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2021,11,15]]},"location":"Melbourne, Australia","end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678590.pdf?arnumber=9678590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:57:43Z","timestamp":1652201863000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":67,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678590","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}