{"id":"https://openalex.org/W4403536413","doi":"https://doi.org/10.1145/3691620.3695296","title":"CoDefeater: Using LLMs To Find Defeaters in Assurance Cases","display_name":"CoDefeater: Using LLMs To Find Defeaters in Assurance Cases","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536413","doi":"https://doi.org/10.1145/3691620.3695296"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695296","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695296","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3691620.3695296","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088196515","display_name":"Usman Gohar","orcid":"https://orcid.org/0009-0001-8859-4928"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Usman Gohar","raw_affiliation_strings":["Iowa State University, Ames, Iowa, USA"],"raw_orcid":"https://orcid.org/0009-0001-8859-4928","affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102864560","display_name":"Michael C. Hunter","orcid":"https://orcid.org/0009-0006-3775-7922"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael C. Hunter","raw_affiliation_strings":["Iowa State University, Ames, Iowa, USA"],"raw_orcid":"https://orcid.org/0009-0006-3775-7922","affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013390075","display_name":"Robyn R. Lutz","orcid":"https://orcid.org/0000-0001-5390-7982"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robyn R. Lutz","raw_affiliation_strings":["Iowa State University, Ames, Iowa, USA"],"raw_orcid":"https://orcid.org/0000-0001-5390-7982","affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020147981","display_name":"Myra B. Cohen","orcid":"https://orcid.org/0000-0003-2443-2425"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Myra B. Cohen","raw_affiliation_strings":["Iowa State University, Ames, Iowa, USA"],"raw_orcid":"https://orcid.org/0000-0003-2443-2425","affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa, USA","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":9.6946,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.98861353,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2262","last_page":"2267"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9742000102996826,"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/T13690","display_name":"Quality and Safety in Healthcare","score":0.9718999862670898,"subfield":{"id":"https://openalex.org/subfields/3607","display_name":"Medical Laboratory Technology"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45548078417778015},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.3746523857116699},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32507407665252686}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45548078417778015},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.3746523857116699},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32507407665252686}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695296","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695296","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3691620.3695296","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695296","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1660015768","display_name":null,"funder_award_id":"80NSSC23M0058","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"}],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1579747287","https://openalex.org/W1997717271","https://openalex.org/W2096765395","https://openalex.org/W2112178154","https://openalex.org/W2114224327","https://openalex.org/W2127159302","https://openalex.org/W2139735278","https://openalex.org/W2152646366","https://openalex.org/W2505953801","https://openalex.org/W2529466265","https://openalex.org/W2543521969","https://openalex.org/W2738233416","https://openalex.org/W2792705209","https://openalex.org/W3005990397","https://openalex.org/W3192247156","https://openalex.org/W4289454666","https://openalex.org/W4313547549","https://openalex.org/W4321615342","https://openalex.org/W4384009661","https://openalex.org/W4386712343","https://openalex.org/W4387143094","https://openalex.org/W4392414327","https://openalex.org/W4398239389","https://openalex.org/W4398785927","https://openalex.org/W4399203816","https://openalex.org/W4399397060","https://openalex.org/W4399577082","https://openalex.org/W4401719093","https://openalex.org/W4402228014","https://openalex.org/W4402687580"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Constructing":[0],"assurance":[1,43,128],"cases":[2],"is":[3],"a":[4],"widely":[5],"used":[6],"and":[7,29,59,70,72,81,113,125],"sometimes":[8],"required":[9],"process":[10,91],"toward":[11],"demonstrating":[12],"that":[13,107],"safety-critical":[14],"systems":[15,105],"will":[16],"operate":[17],"safely":[18],"in":[19,41,53,121],"their":[20],"planned":[21],"environment.":[22],"To":[23],"mitigate":[24],"the":[25,33,54,123],"risk":[26],"of":[27,35,127],"errors":[28],"missing":[30],"edge":[31],"cases,":[32],"concept":[34],"defeaters":[36,64,116],"-":[37,45],"challenges":[38],"to":[39,78,92,117],"claims":[40],"an":[42,89],"case":[44],"has":[46],"been":[47],"introduced.":[48],"Defeaters":[49],"can":[50,109],"detect":[51],"weaknesses":[52],"arguments,":[55],"prompting":[56],"further":[57],"investigation":[58],"timely":[60],"mitigations.":[61],"However,":[62],"capturing":[63],"relies":[65],"on":[66,103],"expert":[67],"judgment,":[68],"experience,":[69],"creativity":[71],"must":[73],"be":[74],"done":[75],"iteratively":[76],"due":[77],"evolving":[79],"requirements":[80],"regulations.":[82],"In":[83],"this":[84],"paper,":[85],"we":[86],"propose":[87],"CoDefeater,":[88],"automated":[90],"leverage":[93],"large":[94],"language":[95],"models":[96],"(LLMs)":[97],"for":[98],"finding":[99],"defeaters.":[100],"Initial":[101],"results":[102],"two":[104],"show":[106],"LLMs":[108],"efficiently":[110],"find":[111],"known":[112],"unforeseen":[114],"feasible":[115],"support":[118],"safety":[119],"analysts":[120],"enhancing":[122],"completeness":[124],"confidence":[126],"cases.":[129]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}