{"id":"https://openalex.org/W2986487706","doi":"https://doi.org/10.1145/3311954","title":"Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments","display_name":"Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments","publication_year":2019,"publication_date":"2019-11-02","ids":{"openalex":"https://openalex.org/W2986487706","doi":"https://doi.org/10.1145/3311954","mag":"2986487706"},"language":"en","primary_location":{"id":"doi:10.1145/3311954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3311954","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043671061","display_name":"BaekGyu Kim","orcid":"https://orcid.org/0000-0001-7892-5191"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baekgyu Kim","raw_affiliation_strings":["Toyota InfoTechnology Center, U.S.A"],"raw_orcid":"https://orcid.org/0000-0001-7892-5191","affiliations":[{"raw_affiliation_string":"Toyota InfoTechnology Center, U.S.A","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064784484","display_name":"Takato Masuda","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Takato Masuda","raw_affiliation_strings":["Toyota InfoTechnology Center, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota InfoTechnology Center, U.S.A","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047019072","display_name":"Shinichi Shiraishi","orcid":"https://orcid.org/0000-0003-2001-7662"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shinichi Shiraishi","raw_affiliation_strings":["Toyota InfoTechnology Center, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota InfoTechnology Center, U.S.A","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7712,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.75546145,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"4","issue":"1","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7559839487075806},{"id":"https://openalex.org/keywords/pedestrian","display_name":"Pedestrian","score":0.6265243291854858},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.625493049621582},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5645964741706848},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4729228615760803},{"id":"https://openalex.org/keywords/scenario-testing","display_name":"Scenario testing","score":0.46981197595596313},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.46115636825561523},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4575577974319458},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.4394266605377197},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.43188202381134033},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.4249202013015747},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.41245827078819275},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.38023361563682556},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.359455943107605},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33627212047576904},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2901363670825958},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24422761797904968},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.1904139518737793},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1454424262046814},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.1343403458595276},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1292315423488617},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1051291823387146}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7559839487075806},{"id":"https://openalex.org/C2777113093","wikidata":"https://www.wikidata.org/wiki/Q221488","display_name":"Pedestrian","level":2,"score":0.6265243291854858},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.625493049621582},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5645964741706848},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4729228615760803},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.46981197595596313},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.46115636825561523},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4575577974319458},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.4394266605377197},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.43188202381134033},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4249202013015747},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.41245827078819275},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.38023361563682556},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.359455943107605},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33627212047576904},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2901363670825958},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24422761797904968},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.1904139518737793},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1454424262046814},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.1343403458595276},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1292315423488617},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1051291823387146},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","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":1,"locations":[{"id":"doi:10.1145/3311954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3311954","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1495188953","https://openalex.org/W1552249698","https://openalex.org/W1567306564","https://openalex.org/W1568434610","https://openalex.org/W1962165997","https://openalex.org/W1968625395","https://openalex.org/W2000947342","https://openalex.org/W2068484753","https://openalex.org/W2082172430","https://openalex.org/W2092007705","https://openalex.org/W2101508170","https://openalex.org/W2102418068","https://openalex.org/W2113780769","https://openalex.org/W2480168523","https://openalex.org/W2529927010","https://openalex.org/W2566399737","https://openalex.org/W4233730851","https://openalex.org/W4234647862","https://openalex.org/W4256019627","https://openalex.org/W6642505202"],"related_works":["https://openalex.org/W2392100589","https://openalex.org/W2512789322","https://openalex.org/W2101960027","https://openalex.org/W2197846993","https://openalex.org/W1976827262","https://openalex.org/W49697837","https://openalex.org/W3122828758","https://openalex.org/W2170799233","https://openalex.org/W2768112316","https://openalex.org/W4389161815"],"abstract_inverted_index":{"The":[0,55],"trend":[1],"of":[2,87,89,107,113,116,178,195,202,244,253],"connected/autonomous":[3],"features":[4],"adds":[5],"significant":[6,22],"complexity":[7],"to":[8,13,42,59,74,103,145,191,249],"the":[9,50,85,105,108,119,141,176,193,196,226,231,251,254],"traditional":[10],"automotive":[11],"systems":[12],"improve":[14],"driving":[15],"safety":[16],"and":[17,52,239,247],"comfort.":[18],"Engineers":[19],"are":[20,29,208],"facing":[21],"challenges":[23],"in":[24,84,111,175,200,236],"designing":[25],"test":[26,37,97,185,227],"environments":[27,48],"that":[28,39,63,128,214],"more":[30],"complex":[31],"than":[32],"ever.":[33],"We":[34,80,124,171,210],"propose":[35,125,211],"a":[36,68,71,96,162,166,184,212,222],"framework":[38],"allows":[40],"one":[41],"automatically":[43,129,215],"generate":[44],"various":[45],"virtual":[46],"road":[47],"from":[49],"path":[51,56],"behavior":[53],"specifications.":[54],"specification":[57,143],"intends":[58,144],"characterize":[60,81,146,172],"geometric":[61],"paths":[62,110,121,132,246],"an":[64,100,117,126,134,148,188],"environmental":[65,149],"object":[66,150],"(e.g.,":[67,161],"roadway":[69],"or":[70,77,168,206],"pedestrian)":[72],"needs":[73],"be":[75],"visualized":[76],"move":[78],"over.":[79],"this":[82,173],"aspect":[83,174],"form":[86,177],"constraints":[88],"3-Dimensional":[90],"(3D)":[91],"coordinates.":[92],"Then,":[93,181],"we":[94,182,229],"introduce":[95,183],"coverage,":[98,102,186,190],"called":[99,187],"area":[101,118],"quantify":[104,192],"quality":[106,194],"generated":[109,120,197,240],"terms":[112,201],"how":[114,147,203],"diverse":[115],"can":[122],"cover.":[123],"algorithm":[127],"generates":[130,216],"such":[131],"using":[133,221],"SMT":[135],"(Satisfiability":[136],"Modulo":[137],"Theories)":[138],"solver.":[139],"However,":[140],"behavioral":[142],"changes":[151,199,220],"its":[152],"mode":[153,198,219],"over":[154],"time":[155],"by":[156],"interacting":[157],"with":[158],"other":[159],"objects":[160],"pedestrian":[163,233,245],"waits":[164],"for":[165],"signal":[167],"starts":[169],"crossing).":[170],"timed":[179],"automata.":[180],"edge/location":[189],"many":[204,217,241],"modes":[205],"transitions":[207],"visited.":[209],"method":[213],"different":[218,242],"model-checking.":[223],"To":[224],"demonstrate":[225],"framework,":[228],"developed":[230],"right-turn":[232],"warning":[234],"system":[235],"intersection":[237],"scenarios":[238],"types":[243],"behaviors":[248],"analyze":[250],"effectiveness":[252],"system.":[255]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}