{"id":"https://openalex.org/W2999083535","doi":"https://doi.org/10.1109/mc.2019.2951980","title":"Input Space Coverage Matters","display_name":"Input Space Coverage Matters","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2999083535","doi":"https://doi.org/10.1109/mc.2019.2951980","mag":"2999083535","pmid":"https://pubmed.ncbi.nlm.nih.gov/40330220"},"language":"en","primary_location":{"id":"doi:10.1109/mc.2019.2951980","is_oa":true,"landing_page_url":"https://doi.org/10.1109/mc.2019.2951980","pdf_url":"https://ieeexplore.ieee.org/ielx7/2/8960916/08960929.pdf","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","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/2/8960916/08960929.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109984694","display_name":"Rick Kuhn","orcid":null},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rick Kuhn","raw_affiliation_strings":["Computer Security, NIST","University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"Computer Security, NIST","institution_ids":[]},{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061215075","display_name":"Raghu N. Kacker","orcid":"https://orcid.org/0000-0002-7666-3391"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raghu N. Kacker","raw_affiliation_strings":["Applied and Computational Mathematics, NIST"],"affiliations":[{"raw_affiliation_string":"Applied and Computational Mathematics, NIST","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060631912","display_name":"Yu Lei","orcid":"https://orcid.org/0000-0002-1069-5980"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu Lei","raw_affiliation_strings":["Computer Science and Engineering, University of Texas, Arlington, Texas United States"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of Texas, Arlington, Texas United States","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009370086","display_name":"Dimitris E. Simos","orcid":"https://orcid.org/0000-0001-8588-1924"},"institutions":[{"id":"https://openalex.org/I4210167190","display_name":"SBA Research","ror":"https://ror.org/05nny6x17","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210167190"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Dimitris Simos","raw_affiliation_strings":["Mathematics for Testing, Reliability and Information Security, SBA Research"],"affiliations":[{"raw_affiliation_string":"Mathematics for Testing, Reliability and Information Security, SBA Research","institution_ids":["https://openalex.org/I4210167190"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5109984694"],"corresponding_institution_ids":["https://openalex.org/I189196454"],"apc_list":null,"apc_paid":null,"fwci":4.8052,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.95074697,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"53","issue":"1","first_page":"37","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/space","display_name":"Space (punctuation)","score":0.5650463104248047},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3929882049560547}],"concepts":[{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5650463104248047},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3929882049560547},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/mc.2019.2951980","is_oa":true,"landing_page_url":"https://doi.org/10.1109/mc.2019.2951980","pdf_url":"https://ieeexplore.ieee.org/ielx7/2/8960916/08960929.pdf","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"},{"id":"pmid:40330220","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40330220","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","raw_type":null},{"id":"pmh:oai:europepmc.org:10867608","is_oa":false,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/12053746","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1109/mc.2019.2951980","is_oa":true,"landing_page_url":"https://doi.org/10.1109/mc.2019.2951980","pdf_url":"https://ieeexplore.ieee.org/ielx7/2/8960916/08960929.pdf","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G153153759","display_name":null,"funder_award_id":"70NANB18H207","funder_id":"https://openalex.org/F4320306111","funder_display_name":"U.S. Department of Commerce"},{"id":"https://openalex.org/G1752427772","display_name":null,"funder_award_id":"70NANB18H20","funder_id":"https://openalex.org/F4320332178","funder_display_name":"National Institute of Standards and Technology"},{"id":"https://openalex.org/G8596817293","display_name":null,"funder_award_id":"70NANB18H207","funder_id":"https://openalex.org/F4320332178","funder_display_name":"National Institute of Standards and Technology"}],"funders":[{"id":"https://openalex.org/F4320306111","display_name":"U.S. Department of Commerce","ror":"https://ror.org/04chq2495"},{"id":"https://openalex.org/F4320332178","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2999083535.pdf","grobid_xml":"https://content.openalex.org/works/W2999083535.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W32887977","https://openalex.org/W1486172410","https://openalex.org/W1910771831","https://openalex.org/W1987220198","https://openalex.org/W1992639336","https://openalex.org/W2009489720","https://openalex.org/W2061686717","https://openalex.org/W2080718476","https://openalex.org/W2081862392","https://openalex.org/W2096449544","https://openalex.org/W2100766650","https://openalex.org/W2101512909","https://openalex.org/W2117963349","https://openalex.org/W2128204165","https://openalex.org/W2133518331","https://openalex.org/W2201028188","https://openalex.org/W2236502411","https://openalex.org/W2481146071","https://openalex.org/W2735780801","https://openalex.org/W2883467341","https://openalex.org/W4234379366","https://openalex.org/W4234542549","https://openalex.org/W4298110250","https://openalex.org/W6689943899"],"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":{"Testing":[0],"is":[1],"the":[2,26,57],"most":[3],"commonly":[4],"used":[5],"approach":[6],"for":[7,33],"software":[8],"assurance,":[9],"yet":[10],"it":[11],"remains":[12],"as":[13,18],"much":[14],"judgement":[15],"and":[16,80],"art":[17],"science.":[19],"Structural":[20],"coverage":[21,64,86],"adds":[22],"some":[23,34],"rigor":[24],"to":[25,49],"process":[27],"by":[28],"establishing":[29],"formally":[30],"defined":[31],"criteria":[32],"notion":[35],"of":[36,71,91],"test":[37,58],"completeness,":[38],"but":[39],"even":[40],"full":[41],"coverage,":[42],"however":[43],"defined,":[44],"may":[45],"miss":[46],"faults":[47],"related":[48],"rare":[50],"inputs":[51],"that":[52,62,93],"were":[53],"not":[54],"included":[55],"in":[56],"suite.":[59],"We":[60],"suggest":[61],"structural":[63,85],"measures":[65,70,78],"must":[66],"be":[67],"supplemented":[68],"with":[69,84],"input":[72,76,96],"space":[73,77],"coverage.":[74],"Useful":[75],"exist":[79],"have":[81],"a":[82,89],"relationship":[83],"measures,":[87],"providing":[88],"means":[90],"verifying":[92],"an":[94],"adequate":[95],"model":[97],"has":[98],"been":[99],"defined.":[100]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2020-01-23T00:00:00"}