{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:55:10Z","timestamp":1764402910898,"version":"3.28.0"},"reference-count":121,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/test.2018.8624723","type":"proceedings-article","created":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T03:09:16Z","timestamp":1548385756000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["Design Automation for Intelligent Automotive Systems"],"prefix":"10.1109","author":[{"given":"Shuyue","family":"Lan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhilu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hengyi","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenhao","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71589-6_36"},{"key":"ref38","article-title":"Learning end-to-end multimodal sensor policies for autonomous navigation","author":"liu","year":"2017","journal-title":"arXiv preprint arXiv 1705 10422"},{"key":"ref33","first-page":"1385","article-title":"in","author":"weinzaepfel","year":"2013","journal-title":"Proceedings of the IEEE International Conference on Computer Vision (ICCV)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20276"},{"key":"ref31","first-page":"739","article-title":"Off-road obstacle avoidance through end-to-end learning","author":"muller","year":"2006","journal-title":"Advances in neural information processing systems"},{"article-title":"Evolving large-scale neural networks for vision-based torcs","year":"2013","author":"koutnik","key":"ref30"},{"key":"ref37","article-title":"Safe, multi-agent, reinforcement learning for autonomous driving","author":"shalev-shwartz","year":"2016","journal-title":"arXiv preprint arXiv 1610 01292"},{"key":"ref36","article-title":"in","author":"xu","year":"2017","journal-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)"},{"key":"ref35","article-title":"End to end learning for self-driving cars","author":"bojarski","year":"2016","journal-title":"arXiv preprint arXiv 1604 07316"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"ref28","first-page":"305","article-title":"Alvinn: An autonomous land vehicle in a neural network","author":"pomerleau","year":"1989","journal-title":"Advances in neural information processing systems"},{"key":"ref27","first-page":"40","article-title":"Autonomous driving challenge: To infer the property of a dynamic object based on its motion pattern","author":"fathollahi","year":"2016","journal-title":"European Conference on Computer Vision (ECCV)"},{"key":"ref29","volume":"239","author":"pomerleau","year":"2012","journal-title":"Neural network perception for mobile robot guidance Springer Science & Business Media"},{"key":"ref20","first-page":"448","article-title":"Gesture components for natural interaction with in-car devices","author":"zobl","year":"2003","journal-title":"Int Gesture Workshop"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.374"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.268"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.236"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.79"},{"key":"ref101","article-title":"Using machine learning safely in automotive software: An assessment and adaption of software process requirements in iso 26262","author":"salay","year":"2018","journal-title":"arXiv preprint arXiv 1808 10393"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2017.60"},{"key":"ref100","article-title":"26262: Road vehicles-functional safety","volume":"26262","author":"iso","year":"2011","journal-title":"International Standard ISO"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.691"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2014.6884222"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2016.2643665"},{"key":"ref59","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification Ser"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_28"},{"key":"ref56","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","article-title":"Falsification of ltl safety properties in hybrid systems","volume":"15","author":"plaku","year":"2013","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49275-8_39"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2016.7553036"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2760281"},{"key":"ref40","article-title":"Composing meta-policies for autonomous driving using hierarchical deep reinforcement learning","author":"liaw","year":"2017","journal-title":"arXiv preprint arXiv 1711 03890"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2336271"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2551553"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2001.948657"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(99)00125-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSSA.2016.7871074"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2709462"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/UBMK.2017.8093430"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IntelliSys.2015.7361224"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2546555"},{"key":"ref45","article-title":"Towards intelligent vehicular networks: A machine learning framework","author":"liang","year":"2018","journal-title":"arXiv preprint arXiv 1804 02671"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2345663"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/VTCFall.2015.7391019"},{"key":"ref42","article-title":"Learning end-to-end autonomous driving using guided auxiliary supervision","author":"mehta","year":"2018","journal-title":"arXiv preprint arXiv 1808 10393"},{"key":"ref41","article-title":"Virtual to real reinforcement learning for autonomous driving","author":"pan","year":"2017","journal-title":"arXiv preprint arXiv 1704 03952"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2018.2811185"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.applthermaleng.2005.10.006"},{"key":"ref73","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"kolter","year":"2017","journal-title":"arXiv preprint arXiv 1711 03890"},{"key":"ref72","first-page":"97","article-title":"Reluplex: An efficient smt solver for verifying deep neural networks","author":"katz","year":"2017","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref71","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-3-319-68167-2_19","article-title":"Formal verification of piece-wise linear feed-forward neural networks","author":"ehlers","year":"2017","journal-title":"ser Automated Technology for Verification and Analysis International Publishing"},{"key":"ref70","article-title":"Piecewise linear neural network verification: a comparative study","author":"bunel","year":"2017","journal-title":"arXiv preprint arXiv 1711 03890"},{"key":"ref76","article-title":"Reachability analysis and safety verification for neural network control systems","author":"xiang","year":"2018","journal-title":"arXiv preprint arXiv 1805 09944"},{"key":"ref77","article-title":"Reachable set computation and safety verification for neural networks with relu activations","author":"xiang","year":"2017","journal-title":"arXiv preprint arXiv 1712 08163"},{"key":"ref74","article-title":"A dual approach to scalable verification of deep networks","author":"dvijotham","year":"2018","journal-title":"arXiv preprint arXiv 1803 06567"},{"key":"ref75","first-page":"3","article-title":"Safety verification of deep neural networks","author":"huang","year":"2017","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref78","article-title":"Ai 2: Safety and robustness certification of neural networks with abstract interpretation","author":"gehr","year":"2018","journal-title":"IEEE Symposium on Security and Privacy (SP)"},{"key":"ref79","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"2018","journal-title":"arXiv preprint arXiv 1804 10204"},{"key":"ref60","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/978-3-319-48989-6_44","article-title":"A linear programming relaxation based approach for generating barrier certificates of hybrid systems","author":"yang","year":"2016","journal-title":"FM 2016 Formal Methods"},{"key":"ref62","first-page":"167","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donze","year":"0","journal-title":"Computer Aided Verification Ser"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.3182\/20060607-3-IT-3902.00049"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1177\/0037549710368029"},{"key":"ref64","article-title":"Towards evaluating the robustness of neural networks","author":"carlini","year":"2016","journal-title":"arXiv preprint arXiv 1608 04644"},{"key":"ref65","article-title":"Towards fast computation of certified robustness for relu networks","author":"weng","year":"2018","journal-title":"arXiv preprint arXiv 1804 02671"},{"key":"ref66","first-page":"251","article-title":"artificial neural networks","author":"c -h","year":"2017","journal-title":"Intl Symp on Automated Technology for Verification and Analysis"},{"key":"ref67","article-title":"Deep neural networks as 0–1 mixed integer linear programs: A feasibility study","author":"fischetti","year":"2017","journal-title":"arXiv preprint arXiv 1712 06174"},{"key":"ref68","article-title":"An approach to reachability analysis for feed-forward relu neural networks","author":"lomuscio","year":"2017","journal-title":"arXiv preprint arXiv 1706 07351"},{"key":"ref2","article-title":"Caad: Computer architecture for autonomous driving","author":"liu","year":"2017","journal-title":"arXiv preprint arXiv 1702 03041"},{"key":"ref69","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2017","journal-title":"arXiv preprint arXiv 1711 03890"},{"key":"ref1","first-page":"38","article-title":"State of the art analysis: An overview of advanced driver assistance systems (adas) and possible human factors issues","author":"lindgren","year":"2006","journal-title":"Human Factors and Economic Aspects on Safety"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29673-4_8"},{"key":"ref95","article-title":"Combinatorial testing for deep learning systems","author":"ma","year":"2018","journal-title":"arXiv preprint arXiv 1806 07723"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356564"},{"article-title":"A practical tutorial on modified condition\/decision coverage","year":"2001","author":"hayhurst","key":"ref94"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ICVES.2012.6294261"},{"key":"ref93","article-title":"Testing deep neural networks","author":"sun","year":"2018","journal-title":"arXiv preprint arXiv 1803 04792"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013286"},{"key":"ref92","first-page":"700","article-title":"Unsupervised image-to-image translation networks","author":"liu","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2010.5637677"},{"key":"ref91","first-page":"2672","article-title":"Generative adversarial nets","author":"goodfellow","year":"2014","journal-title":"Advances in neural information processing systems"},{"year":"2017","key":"ref104","article-title":"NVIDIA. CUDA 9.0 RC C Programming Guide"},{"key":"ref90","article-title":"Deeproad: Gan-based metamorphic autonomous driving system testing","author":"zhang","year":"2018","journal-title":"arXiv preprint arxiv 1802 05807"},{"article-title":"Implicit gpu synchronization: A barrier to real-time cuda workloads","year":"0","author":"otterness","key":"ref103"},{"year":"2018","key":"ref102","article-title":"Jetson agx xavier faq"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2053938"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.37"},{"key":"ref110","first-page":"6771","article-title":"in","author":"lan","year":"2018","journal-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)"},{"key":"ref98","first-page":"3367","article-title":"in","author":"liang","year":"2015","journal-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)"},{"key":"ref99","article-title":"Iso\/iec 15504","author":"el-emam","year":"1999","journal-title":"International Organization for Standardization"},{"key":"ref96","article-title":"Deepmutation: Mutation testing of deep learning systems","author":"ma","year":"2018","journal-title":"arXiv preprint arXiv 1805 05206"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2012.02.023"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2015.7280499"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225699"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995785"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957752"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2015.04.117"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISNE.2018.8394717"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2523937"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2337331"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1145\/2803174"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2516540.2516544"},{"key":"ref81","article-title":"Evaluating the robustness of neural networks: An extreme value theory approach","author":"weng","year":"2018","journal-title":"Arxiv preprint arXiv 1801 10588"},{"key":"ref18","article-title":"Robust multimodal hand-and head gesture recognition for controlling automotive infotainment systems","volume":"1919 p","author":"althoff","year":"2005","journal-title":"VDI Berichte"},{"key":"ref84","first-page":"3354","article-title":"Conference on Computer Vision and Pattern Recognition (CVPR)","author":"geiger","year":"2012","journal-title":"Proceedings of the IEEE"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.272"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1943403.1943457"},{"article-title":"Middlebury stereo vision page","year":"2002","author":"scharstein","key":"ref83"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1145\/3130218.3130233"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1109\/CODESISSS.2015.7331368"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001325"},{"key":"ref80","first-page":"2266","article-title":"Formal guarantees on the robustness of a classifier against adversarial manipulation","author":"hein","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691106"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735972"},{"key":"ref89","article-title":"Metamorphic testing: a new approach for generating next test cases","author":"chen","year":"1998","journal-title":"Technical Report HKUSTCS98–01 Department of Computer Science Hong Kong University of Science and Technology Hong Kong Tech Rep"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2557322"},{"journal-title":"Robust vision challenge","year":"2018","key":"ref85"},{"key":"ref86","first-page":"418","article-title":"in Proceedings of the 1996 IEEE\/ACM international conference on Computer-aided design","author":"devadas","year":"1997","journal-title":"IEEE Computer Society"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"}],"event":{"name":"2018 IEEE International Test Conference (ITC)","start":{"date-parts":[[2018,10,29]]},"location":"Phoenix, AZ, USA","end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8610502\/8624670\/08624723.pdf?arnumber=8624723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T23:28:10Z","timestamp":1643239690000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8624723\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":121,"URL":"https:\/\/doi.org\/10.1109\/test.2018.8624723","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}