{"id":"https://openalex.org/W4285805414","doi":"https://doi.org/10.1145/3520304.3534064","title":"Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22)","display_name":"Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22)","publication_year":2022,"publication_date":"2022-07-09","ids":{"openalex":"https://openalex.org/W4285805414","doi":"https://doi.org/10.1145/3520304.3534064"},"language":"en","primary_location":{"id":"doi:10.1145/3520304.3534064","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520304.3534064","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3520304.3534064&file=p33-luo-suppl.pdf","source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3520304.3534064&file=p33-luo-suppl.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112311968","display_name":"Yixing Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yixing Luo","raw_affiliation_strings":["Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100357458","display_name":"Xiao\u2013Yi Zhang","orcid":"https://orcid.org/0000-0001-7414-8057"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Xiao-Yi Zhang","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049100391","display_name":"Zhi Jin","orcid":"https://orcid.org/0000-0003-1087-226X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Jin","raw_affiliation_strings":["Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021287600","display_name":"Haiyan Zhao","orcid":"https://orcid.org/0000-0002-5085-1116"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiyan Zhao","raw_affiliation_strings":["Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103091045","display_name":"Fuyuki Ishikawa","orcid":"https://orcid.org/0000-0001-7725-2618"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuyuki Ishikawa","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054822682","display_name":"Rongxin Wu","orcid":"https://orcid.org/0000-0002-4648-3795"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongxin Wu","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048118068","display_name":"Tao Xie","orcid":"https://orcid.org/0000-0002-6731-216X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Xie","raw_affiliation_strings":["Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5112311968"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":0.2157,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.42542787,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"33","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/correctness","display_name":"Correctness","score":0.7516992092132568},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6223140954971313},{"id":"https://openalex.org/keywords/prioritization","display_name":"Prioritization","score":0.5828709006309509},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.5764579176902771},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4584372639656067},{"id":"https://openalex.org/keywords/evolutionary-algorithm","display_name":"Evolutionary algorithm","score":0.45791521668434143},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3205562233924866},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22315478324890137},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16165012121200562},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14086642861366272}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7516992092132568},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6223140954971313},{"id":"https://openalex.org/C2777615720","wikidata":"https://www.wikidata.org/wiki/Q11888847","display_name":"Prioritization","level":2,"score":0.5828709006309509},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.5764579176902771},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4584372639656067},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.45791521668434143},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3205562233924866},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22315478324890137},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16165012121200562},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14086642861366272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","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/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3520304.3534064","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520304.3534064","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3520304.3534064&file=p33-luo-suppl.pdf","source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3520304.3534064","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520304.3534064","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3520304.3534064&file=p33-luo-suppl.pdf","source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1677877499","display_name":null,"funder_award_id":"501100009024","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"},{"id":"https://openalex.org/G1992878963","display_name":null,"funder_award_id":"No. 61620106007 and 61751210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G315253157","display_name":null,"funder_award_id":"61620106007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G37568934","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G387506447","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4020255992","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4700436629","display_name":null,"funder_award_id":"61751210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5249178904","display_name":null,"funder_award_id":"Grant No. 6","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5504611503","display_name":null,"funder_award_id":"No. JPMJER1603 and JPMJMI20B8","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G5913768863","display_name":null,"funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6837273006","display_name":null,"funder_award_id":"JPMJER160","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G7726157001","display_name":null,"funder_award_id":"Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null},{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285805414.pdf","grobid_xml":"https://content.openalex.org/works/W4285805414.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4206742615"],"related_works":["https://openalex.org/W2072806201","https://openalex.org/W4285815980","https://openalex.org/W4289535315","https://openalex.org/W4285805414","https://openalex.org/W2758714700","https://openalex.org/W2777333310","https://openalex.org/W4294627957","https://openalex.org/W2997369489","https://openalex.org/W3215460511","https://openalex.org/W2895518944"],"abstract_inverted_index":{"Autonomous":[0,158],"Driving":[1,159],"Systems":[2,160],"(ADSs)":[3],"must":[4,43],"satisfy":[5],"multiple":[6],"requirements.":[7],"In":[8,100],"some":[9],"cases,":[10],"satisfying":[11],"all":[12,77],"of":[13,40,157],"them":[14],"may":[15],"not":[16],"be":[17,44],"possible":[18],"due":[19],"to":[20,79,83,94,113,120],"environmental":[21],"conditions.":[22],"Therefore,":[23],"ADSs":[24],"usually":[25],"make":[26],"tradeoffs":[27],"among":[28],"the":[29,38,103,134],"requirements,":[30],"resulting":[31],"in":[32],"one":[33],"or":[34],"more":[35],"requirements":[36,64],"violations;":[37],"correctness":[39],"such":[41],"trade-offs":[42],"evaluated":[45,125],"during":[46],"testing.":[47],"We":[48],"propose":[49],"a":[50,72,90,109],"new":[51],"approach,":[52],"named":[53],"EMOOD,":[54],"that":[55,75],"can":[56],"effectively":[57],"generate":[58],"test":[59],"scenarios":[60,96],"exposing":[61,97],"as":[62,67],"many":[63],"violation":[65],"combinations":[66,78,114],"possible.":[68],"EMOOD":[69],"first":[70],"uses":[71],"prioritization":[73],"technique":[74,110],"sorts":[76],"search":[80],"for":[81],"according":[82],"their":[84],"criticality.":[85],"Then,":[86],"it":[87],"iteratively":[88],"applies":[89],"many-objective":[91],"optimization":[92],"algorithm":[93],"find":[95],"these":[98],"combinations.":[99],"each":[101],"iteration,":[102],"targeted":[104],"combination":[105],"is":[106,124],"determined":[107],"by":[108,161],"giving":[111],"preference":[112],"with":[115],"higher":[116],"criticality":[117],"and":[118,151],"likelihood":[119],"occur.":[121],"The":[122],"approach":[123],"on":[126,168],"an":[127],"industrial":[128],"ADS.":[129],"This":[130],"Hot-off-the-Press":[131],"paper":[132,135],"summarizes":[133],"[1]:":[136],"Y.":[137],"Luo,":[138],"X.":[139],"Zhang,":[140],"P.":[141],"Arcaini,":[142],"Z.":[143],"Jin,":[144],"H.":[145],"Zhao,":[146],"F.":[147],"Ishikawa,":[148],"R.":[149],"Wu":[150],"T.":[152],"Xie,":[153],"\"Targeting":[154],"Requirements":[155],"Violations":[156],"Dynamic":[162],"Evolutionary":[163],"Search\",":[164],"36th":[165],"International":[166],"Conference":[167],"Automated":[169],"Software":[170],"Engineering":[171],"(ASE":[172],"2021).":[173]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}