{"id":"https://openalex.org/W4396592884","doi":"https://doi.org/10.1109/mc.2024.3363808","title":"Assured Autonomy Through Combinatorial Methods","display_name":"Assured Autonomy Through Combinatorial Methods","publication_year":2024,"publication_date":"2024-05-01","ids":{"openalex":"https://openalex.org/W4396592884","doi":"https://doi.org/10.1109/mc.2024.3363808"},"language":"en","primary_location":{"id":"doi:10.1109/mc.2024.3363808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mc.2024.3363808","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","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/A5011985891","display_name":"D. Richard Kuhn","orcid":"https://orcid.org/0000-0003-0050-1596"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. Richard Kuhn","raw_affiliation_strings":["Computer Security Division, National Institute of Standards and Technology, Gaithersburg, MD, USA"],"affiliations":[{"raw_affiliation_string":"Computer Security Division, National Institute of Standards and Technology, Gaithersburg, MD, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041317074","display_name":"M S Raunak","orcid":"https://orcid.org/0000-0003-4934-7331"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. S. Raunak","raw_affiliation_strings":["Computer Security Division, National Institute of Standards and Technology, Gaithersburg, MD, USA"],"affiliations":[{"raw_affiliation_string":"Computer Security Division, National Institute of Standards and Technology, Gaithersburg, MD, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061215075","display_name":"Raghu N. Kacker","orcid":"https://orcid.org/0000-0002-7666-3391"},"institutions":[{"id":"https://openalex.org/I4210126846","display_name":"Information Technology Laboratory","ror":"https://ror.org/0440c3437","country_code":"US","type":"government","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065","https://openalex.org/I4210126846"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raghu N. Kacker","raw_affiliation_strings":["Applied and Computational Mathematics Division of the Information Technology Laboratory, National Institute of Standards and Technology, Gaithersburg, MD, USA"],"affiliations":[{"raw_affiliation_string":"Applied and Computational Mathematics Division of the Information Technology Laboratory, National Institute of Standards and Technology, Gaithersburg, MD, USA","institution_ids":["https://openalex.org/I4210126846","https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089497572","display_name":"Jaganmohan Chandrasekaran","orcid":"https://orcid.org/0000-0001-8694-4296"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaganmohan Chandrasekaran","raw_affiliation_strings":["Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA"],"affiliations":[{"raw_affiliation_string":"Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054460502","display_name":"Erin Lanus","orcid":"https://orcid.org/0000-0001-8263-0521"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erin Lanus","raw_affiliation_strings":["Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA","Department of Computer Science, Virginia Tech, Arlington, VA, USA"],"affiliations":[{"raw_affiliation_string":"Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Department of Computer Science, Virginia Tech, Arlington, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007842569","display_name":"Tyler Cody","orcid":"https://orcid.org/0000-0001-9215-5816"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tyler Cody","raw_affiliation_strings":["Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA"],"affiliations":[{"raw_affiliation_string":"Intelligent Systems Division, Virginia Tech National Security Institute, Arlington, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059050900","display_name":"Laura Freeman","orcid":"https://orcid.org/0000-0001-7108-3921"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laura Freeman","raw_affiliation_strings":["Commonwealth Cyber Initiative, Arlington, VA, USA"],"affiliations":[{"raw_affiliation_string":"Commonwealth Cyber Initiative, Arlington, VA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5011985891"],"corresponding_institution_ids":["https://openalex.org/I1321296531"],"apc_list":null,"apc_paid":null,"fwci":0.9917,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76446382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"57","issue":"5","first_page":"86","last_page":"90"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.13930000364780426,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.13930000364780426,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.13099999725818634,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/autonomy","display_name":"Autonomy","score":0.6539850234985352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4592542350292206},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.2714163064956665},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.08558648824691772}],"concepts":[{"id":"https://openalex.org/C65414064","wikidata":"https://www.wikidata.org/wiki/Q484105","display_name":"Autonomy","level":2,"score":0.6539850234985352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4592542350292206},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.2714163064956665},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.08558648824691772}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mc.2024.3363808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mc.2024.3363808","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1538643901","https://openalex.org/W1987220198","https://openalex.org/W2481146071","https://openalex.org/W2525936901","https://openalex.org/W2994987245","https://openalex.org/W3170449064","https://openalex.org/W3174573899","https://openalex.org/W6731189345"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4395014643","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Many":[0],"conventional":[1],"software":[2,7],"engineering":[3],"methods":[4],"for":[5],"high-trust":[6],"are":[8],"not":[9],"well":[10],"suited":[11],"to":[12],"assured":[13],"autonomy,":[14],"but":[15],"concepts":[16],"from":[17],"combinatorial":[18],"testing":[19],"can":[20],"add":[21],"confidence":[22],"by":[23],"providing":[24],"a":[25,32],"quantitative":[26],"measure":[27],"of":[28,31],"the":[29],"usefulness":[30],"dataset.":[33]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}