{"id":"https://openalex.org/W4402457460","doi":"https://doi.org/10.1145/3650212.3652135","title":"DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing","display_name":"DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402457460","doi":"https://doi.org/10.1145/3650212.3652135"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3652135","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3652135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-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/A5103544062","display_name":"You Lu","orcid":"https://orcid.org/0009-0008-1634-9721"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"You Lu","raw_affiliation_strings":["Fudan University, shanghai, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029688325","display_name":"Yifan Tian","orcid":"https://orcid.org/0009-0002-1262-0971"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yifan Tian","raw_affiliation_strings":["Fudan University, shanghai, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002934383","display_name":"Yuyang Bi","orcid":"https://orcid.org/0009-0008-2292-2627"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuyang Bi","raw_affiliation_strings":["Fudan University, shanghai, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059253116","display_name":"Bihuan Chen","orcid":"https://orcid.org/0000-0001-7238-7492"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bihuan Chen","raw_affiliation_strings":["Fudan University, shanghai, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101854992","display_name":"Xin Peng","orcid":"https://orcid.org/0000-0003-3376-2581"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Peng","raw_affiliation_strings":["Fudan University, shanghai, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5103544062"],"corresponding_institution_ids":["https://openalex.org/I24943067"],"apc_list":null,"apc_paid":null,"fwci":3.4897,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.94115083,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"376","last_page":"388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987000226974487,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6201003193855286},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.4304753541946411},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.40630125999450684},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4000512957572937},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23050576448440552},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14903590083122253},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.0993785560131073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6201003193855286},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.4304753541946411},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.40630125999450684},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4000512957572937},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23050576448440552},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14903590083122253},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0993785560131073}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3652135","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3652135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Gender equality","score":0.550000011920929,"id":"https://metadata.un.org/sdg/5"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W2142112143","https://openalex.org/W2343568200","https://openalex.org/W2495601248","https://openalex.org/W2521921275","https://openalex.org/W2525936901","https://openalex.org/W2602856279","https://openalex.org/W2775678306","https://openalex.org/W2888483609","https://openalex.org/W2892181857","https://openalex.org/W2911270308","https://openalex.org/W2913647445","https://openalex.org/W2969639950","https://openalex.org/W2970089253","https://openalex.org/W3035252911","https://openalex.org/W3101000982","https://openalex.org/W3187869944","https://openalex.org/W3196020871","https://openalex.org/W3210738721","https://openalex.org/W4206742615","https://openalex.org/W4212917712","https://openalex.org/W4225349279","https://openalex.org/W4240278694","https://openalex.org/W4281763794","https://openalex.org/W4287114153","https://openalex.org/W4289535158","https://openalex.org/W4308244727","https://openalex.org/W4308642992","https://openalex.org/W4313563570","https://openalex.org/W4313563581","https://openalex.org/W4361861254","https://openalex.org/W4384026579","https://openalex.org/W4384155414","https://openalex.org/W4384155506","https://openalex.org/W4384155524","https://openalex.org/W4384155669","https://openalex.org/W4386276135"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Simulation":[0],"testing":[1,21,93],"has":[2,156],"been":[3,24],"widely":[4],"adopted":[5],"by":[6,56,94],"leading":[7],"companies":[8],"to":[9,26,36,49,75,86,114,138,147],"ensure":[10],"the":[11,57,144,158],"safety":[12,41,89],"of":[13,19,39,105,112,162],"autonomous":[14],"driving":[15,29],"systems":[16],"(ADSs).":[17],"Anumber":[18],"scenario-based":[20],"approaches":[22],"have":[23],"developed":[25],"generate":[27],"diverse":[28],"scenarios":[30,125,150],"for":[31],"simulation":[32,92,127,152],"testing,":[33],"and":[34,61,123,142,160],"demonstrated":[35,157],"be":[37],"capable":[38],"finding":[40],"violations.":[42,78],"However,":[43],"there":[44],"is":[45,73,101],"no":[46],"automated":[47],"way":[48],"diagnose":[50,77,88,148],"whether":[51],"these":[52,64],"violations":[53,65,90],"are":[54],"caused":[55],"ADS":[58],"under":[59],"test":[60],"which":[62],"category":[63],"belong":[66],"to.":[67],"As":[68],"a":[69,106,131],"result,":[70],"great":[71],"effort":[72],"required":[74],"manually":[76],"To":[79],"bridge":[80],"this":[81],"gap,":[82],"we":[83],"propose":[84],"DiaVio":[85,129,163],"automatically":[87],"in":[91,120,126,151,164],"leveraging":[95],"large":[96],"language":[97,110,122],"models":[98],"(LLMs).":[99],"It":[100],"built":[102],"on":[103],"top":[104],"new":[107],"domain":[108],"specific":[109],"(DSL)":[111],"crash":[113],"align":[115],"real-world":[116,135],"accident":[117,136],"reports":[118,137],"described":[119],"natural":[121],"violation":[124,149,165],"testing.":[128,153],"fine-tunes":[130],"base":[132],"LLM":[133,146],"with":[134],"learn":[139],"diagnosis":[140],"capability,":[141],"uses":[143],"fine-tuned":[145],"Our":[154],"evaluation":[155],"effectiveness":[159],"efficiency":[161],"diagnosis.":[166]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}