{"id":"https://openalex.org/W1682465445","doi":"https://doi.org/10.1109/tc.1979.1675221","title":"A Functional Form Approach to Test Set Coverage in Tree Networks","display_name":"A Functional Form Approach to Test Set Coverage in Tree Networks","publication_year":1979,"publication_date":"1979-01-01","ids":{"openalex":"https://openalex.org/W1682465445","doi":"https://doi.org/10.1109/tc.1979.1675221","mag":"1682465445"},"language":"en","primary_location":{"id":"doi:10.1109/tc.1979.1675221","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1979.1675221","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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/A5110913337","display_name":"Agarwal","orcid":null},"institutions":[{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V.K. Agarwal","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Wayne State University","Department of Electrical and Computer Engineering, Wayne State University\u2020"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Wayne State University","institution_ids":["https://openalex.org/I185443292"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Wayne State University\u2020","institution_ids":["https://openalex.org/I185443292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006943494","display_name":"Masson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G.M. Masson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5981,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81334459,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"C-28","issue":"1","first_page":"50","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9937999844551086,"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/computer-science","display_name":"Computer science","score":0.6646212935447693},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.6542409062385559},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.624599039554596},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.6143239736557007},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5880239605903625},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5615376830101013},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5071470737457275},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49715378880500793},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47921353578567505},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.47524452209472656},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.47133946418762207},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38815000653266907},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3409978449344635},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.2758820056915283},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27314573526382446},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09948951005935669},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.09580501914024353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6646212935447693},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.6542409062385559},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.624599039554596},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6143239736557007},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5880239605903625},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5615376830101013},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5071470737457275},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49715378880500793},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47921353578567505},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.47524452209472656},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.47133946418762207},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38815000653266907},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3409978449344635},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2758820056915283},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27314573526382446},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09948951005935669},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09580501914024353},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.1979.1675221","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1979.1675221","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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":10,"referenced_works":["https://openalex.org/W1569069179","https://openalex.org/W1881736994","https://openalex.org/W1983575666","https://openalex.org/W1991051632","https://openalex.org/W2019751328","https://openalex.org/W2043111827","https://openalex.org/W2058953966","https://openalex.org/W2090113622","https://openalex.org/W2131401312","https://openalex.org/W2312856063"],"related_works":["https://openalex.org/W3151920376","https://openalex.org/W2368585766","https://openalex.org/W4244913946","https://openalex.org/W635486197","https://openalex.org/W2348058071","https://openalex.org/W3081376217","https://openalex.org/W2080928100","https://openalex.org/W3044165230","https://openalex.org/W2391849381","https://openalex.org/W2383699822"],"abstract_inverted_index":{"To":[0],"efficiently":[1],"perform":[2],"the":[3,35,40,57,77,80,104],"fault":[4,14,22,45,62],"analysis":[5,27,46],"of":[6,38,59,79,106],"digital":[7],"networks":[8,71],"it":[9],"is":[10,29,73,85,101],"necessary":[11],"that":[12,97],"pertinent":[13],"interrelationships":[15,23],"be":[16],"utilized.":[17],"However,":[18],"to":[19,55,65,96,111],"determine":[20],"these":[21,107],"can":[24],"entail":[25],"an":[26,53,93],"which":[28,72],"quite":[30],"complex":[31],"and":[32],"thereby":[33],"reduces":[34],"overall":[36],"advantage":[37],"utilizing":[39],"gained":[41],"insights":[42],"in":[43,69],"a":[44,60,89],"process.":[47],"In":[48],"this":[49],"paper":[50],"we":[51],"suggest":[52],"approach":[54],"establishing":[56],"existence":[58],"certain":[61],"interrelationship":[63],"relative":[64,110],"test":[66,112],"set":[67,113],"coverage":[68],"tree":[70],"based":[74],"only":[75],"on":[76],"form":[78,90,108],"output":[81],"function.":[82,98],"A":[83,99],"procedure":[84],"given":[86],"for":[87],"generating":[88],"expression":[91],"(called":[92],"L-expression)":[94],"corresponding":[95],"theorem":[100],"stated":[102],"regarding":[103],"interpretation":[105],"expressions":[109],"coverage.":[114]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}