{"id":"https://openalex.org/W2973063031","doi":"https://doi.org/10.1145/3342481","title":"A Survey of Tool-supported Assurance Case Assessment Techniques","display_name":"A Survey of Tool-supported Assurance Case Assessment Techniques","publication_year":2019,"publication_date":"2019-09-13","ids":{"openalex":"https://openalex.org/W2973063031","doi":"https://doi.org/10.1145/3342481","mag":"2973063031"},"language":"en","primary_location":{"id":"doi:10.1145/3342481","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3342481","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"type":"review","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3342481","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059978312","display_name":"Mike Maksimov","orcid":"https://orcid.org/0000-0001-8145-9486"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Mike Maksimov","raw_affiliation_strings":["University of Toronto, Toronto, ON , Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON , Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012917345","display_name":"Sahar Kokaly","orcid":"https://orcid.org/0009-0000-5348-2240"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sahar Kokaly","raw_affiliation_strings":["University of Toronto, Toronto, ON , Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON , Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079431306","display_name":"Marsha Che\u0107hik","orcid":"https://orcid.org/0000-0002-6301-3517"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marsha Chechik","raw_affiliation_strings":["University of Toronto, Toronto, ON , Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON , Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059978312"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":1.9551,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.85047078,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":"52","issue":"5","first_page":"1","last_page":"34"},"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.9998999834060669,"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.9998999834060669,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9807999730110168,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9746999740600586,"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/certification","display_name":"Certification","score":0.7274448275566101},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7187873721122742},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6804835200309753},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.5554090738296509},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5255621671676636},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.5053120255470276},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4551314413547516},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.42412105202674866},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.4191756248474121},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.3947577178478241},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.37526750564575195},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.355709969997406},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.2662648558616638},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.111002117395401},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.10089471936225891},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.09312695264816284}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.7274448275566101},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7187873721122742},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6804835200309753},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.5554090738296509},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5255621671676636},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.5053120255470276},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4551314413547516},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.42412105202674866},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.4191756248474121},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3947577178478241},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.37526750564575195},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.355709969997406},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2662648558616638},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.111002117395401},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.10089471936225891},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09312695264816284},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2778618615","wikidata":"https://www.wikidata.org/wiki/Q4008393","display_name":"External quality assessment","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3342481","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3342481","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3342481","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3342481","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W315515509","https://openalex.org/W1492051913","https://openalex.org/W1557561422","https://openalex.org/W1572810132","https://openalex.org/W1982485204","https://openalex.org/W2070271311","https://openalex.org/W2087698439","https://openalex.org/W2120160105","https://openalex.org/W2122973104","https://openalex.org/W2133933998","https://openalex.org/W2135170059","https://openalex.org/W2324328435","https://openalex.org/W2406470551","https://openalex.org/W2606806341","https://openalex.org/W2954852586","https://openalex.org/W4210918334","https://openalex.org/W4285719527","https://openalex.org/W4296979607","https://openalex.org/W4299670631","https://openalex.org/W4378077905","https://openalex.org/W4401548961"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2141414364","https://openalex.org/W2376514150","https://openalex.org/W2071108033"],"abstract_inverted_index":{"Systems":[0],"deployed":[1],"in":[2,59,115,137,174],"regulated":[3],"safety-critical":[4,57],"domains":[5],"(e.g.,":[6],"the":[7,75,106,116,130,160],"medical,":[8],"nuclear,":[9],"and":[10,49,62,68,79,86,101,111,120,147,168,170],"automotive":[11],"domains)":[12],"are":[13,41],"often":[14],"required":[15],"to":[16,29,33,93,99],"undergo":[17],"a":[18,26,60,83,127,152],"stringent":[19],"safety":[20],"assessment":[21,134,162],"procedure,":[22],"as":[23,51,53],"prescribed":[24],"by":[25,149],"certification":[27,37],"body,":[28],"demonstrate":[30],"their":[31,81,166],"compliance":[32],"one":[34],"or":[35],"more":[36],"standards.":[38],"Assurance":[39],"cases":[40],"an":[42,87],"emerging":[43],"way":[44],"of":[45,56,70,77,90,108,118,129,144,176],"communicating":[46],"safety,":[47],"security,":[48],"dependability,":[50],"well":[52],"other":[54],"properties":[55],"systems":[58],"structured":[61],"comprehensive":[63],"manner.":[64],"The":[65],"significant":[66],"size":[67],"complexity":[69],"these":[71],"documents,":[72],"however,":[73],"makes":[74],"process":[76],"evaluating":[78],"assessing":[80,119],"validity":[82],"non-trivial":[84],"task":[85],"active":[88],"area":[89],"research.":[91,178],"Due":[92],"this,":[94],"efforts":[95],"have":[96],"been":[97],"made":[98],"develop":[100],"utilize":[102],"software":[103,141],"tools":[104],"for":[105],"purpose":[107],"aiding":[109],"developers":[110],"third":[112],"party":[113],"assessors":[114],"act":[117],"analyzing":[121],"assurance":[122,132,139],"cases.":[123],"This":[124],"article":[125],"presents":[126],"survey":[128],"various":[131,161],"case":[133,140],"features":[135],"contained":[136],"10":[138],"tools,":[142],"all":[143],"which":[145],"identified":[146],"selected":[148],"us":[150],"via":[151],"previously":[153],"conducted":[154],"systematic":[155],"literature":[156],"review.":[157],"We":[158],"describe":[159],"techniques":[163],"implemented,":[164],"discuss":[165],"strengths":[167],"weaknesses,":[169],"identify":[171],"possible":[172],"areas":[173],"need":[175],"further":[177]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
