{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:27:06Z","timestamp":1783096026017,"version":"3.54.6"},"reference-count":48,"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\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","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.9678883","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"279-291","source":"Crossref","is-referenced-by-count":40,"title":["Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search"],"prefix":"10.1109","author":[{"given":"Yixing","family":"Luo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiao-Yi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haiyan","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rongxin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"vargha","year":"2000","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"ref38","author":"capon","year":"1991","journal-title":"Elementary Statistics for the Social Sciences Study Guide"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45014-9_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31280-0_9"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.12.015"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref36","first-page":"193","article-title":"Genetic algorithms, tournament selection, and the effects of noise","volume":"9","author":"miller","year":"1995","journal-title":"Complex Systems"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.swevo.2019.100598"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00045"},{"key":"ref40","article-title":"Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles","year":"2018"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3389827"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS51672.2020.00018"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00042"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.106200"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917326"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957844"},{"key":"ref18","article-title":"From the lab to the street: Solving the challenge of accelerating automated vehicle testing","volume":"abs 1707 4792","author":"zhao","year":"2017","journal-title":"CoRR"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2012.06.1096"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.sorms.2015.08.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00-12"},{"key":"ref27","article-title":"A survey of algorithms for black-box safety validation","volume":"abs 2005 2979","author":"corso","year":"2020","journal-title":"CoRR"},{"key":"ref3","article-title":"Open Autonomous Safety","year":"2019"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2970276.2970311","article-title":"Testing Advanced Driver Assistance Systems Using Multi-objective Search and Neural Networks","author":"raja ben abdessalem","year":"2016","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7249\/RR1478"},{"key":"ref8","first-page":"143","article-title":"Testing autonomous cars for feature interaction failures using manyobjective search","author":"ben abdessalem","year":"2018","journal-title":"Proc 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"ref2","article-title":"On the Road to Fully Self-Driving: Waymo Safety Report","year":"2018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330566"},{"key":"ref1","article-title":"Assured autonomy: Path toward living with autonomous systems we can trust","volume":"abs 2010 14443","author":"topcu","year":"2020","journal-title":"CoRR"},{"key":"ref46","author":"alexander","year":"2015","journal-title":"Report number YCS-2015-496"},{"key":"ref20","article-title":"On a formal model of safe and scalable self-driving cars","volume":"abs 1708 6374","author":"shalev-shwartz","year":"2017","journal-title":"CoRR"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00013"},{"key":"ref22","article-title":"Automated driving system (ads) high–level quality requirements analysis– driving behavior safety","author":"czarnecki","year":"2018","journal-title":"Waterloo Intelligent Systems Engineering Lab (WISE) Report University of Waterloo"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"ref21","article-title":"Road vehicles – Functional safety","year":"2011"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ-IEEE.2017.8015456"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102604"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2019.2955903"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/AITEST49225.2020.00011"},{"key":"ref26","article-title":"Project website for ”Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search","year":"2021"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"ref25","first-page":"125","article-title":"Fuzzy goals for requirementsdriven adaptation","author":"baresi","year":"2010","journal-title":"Proc 18th IEEE International Requirements Engineering Conference (RE)"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Melbourne, Australia","start":{"date-parts":[[2021,11,15]]},"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\/09678883.pdf?arnumber=9678883","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\/9678883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678883","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}