{"id":"https://openalex.org/W1961087460","doi":"https://doi.org/10.1109/tc.1986.1676811","title":"Testable Design of Single-Output Sequential Machines Using Checking Experiments","display_name":"Testable Design of Single-Output Sequential Machines Using Checking Experiments","publication_year":1986,"publication_date":"1986-07-01","ids":{"openalex":"https://openalex.org/W1961087460","doi":"https://doi.org/10.1109/tc.1986.1676811","mag":"1961087460"},"language":"en","primary_location":{"id":"doi:10.1109/tc.1986.1676811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1986.1676811","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-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/A5073548365","display_name":"Saluja","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]},{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]}],"countries":["AU","US"],"is_corresponding":false,"raw_author_name":"Saluja","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Wisconsin","Department of Electrical and Computer Engineering, University of Newcastle, Newcastle, NSW, Australia","Department of Electrical and Computer Engineering, University of Wisconsin, Madison, WI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Wisconsin","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Newcastle, Newcastle, NSW, Australia","institution_ids":["https://openalex.org/I78757542"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Wisconsin, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066149511","display_name":"Dandapani","orcid":null},"institutions":[{"id":"https://openalex.org/I161203489","display_name":"Youngstown State University","ror":"https://ror.org/038zf2n28","country_code":"US","type":"education","lineage":["https://openalex.org/I161203489"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dandapani","raw_affiliation_strings":["Department of Mathematical and Computer Sciences, Youngstown State University, Youngstown, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical and Computer Sciences, Youngstown State University, Youngstown, OH, USA","institution_ids":["https://openalex.org/I161203489"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.903,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.83160622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"C-35","issue":"7","first_page":"658","last_page":"662"},"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.11580000072717667,"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.11580000072717667,"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/T11798","display_name":"Optimal Experimental Design Methods","score":0.10679999738931656,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.094200000166893,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7470198273658752},{"id":"https://openalex.org/keywords/sequential-analysis","display_name":"Sequential analysis","score":0.5386379361152649},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5174087285995483},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5024518966674805},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.4646199941635132},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4132574796676636},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.18570148944854736},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18159374594688416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15526887774467468}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7470198273658752},{"id":"https://openalex.org/C80478641","wikidata":"https://www.wikidata.org/wiki/Q195771","display_name":"Sequential analysis","level":2,"score":0.5386379361152649},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5174087285995483},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5024518966674805},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.4646199941635132},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4132574796676636},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.18570148944854736},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18159374594688416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15526887774467468},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.1986.1676811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1986.1676811","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W19108984","https://openalex.org/W53566495","https://openalex.org/W1677852443","https://openalex.org/W1965713788","https://openalex.org/W1967664042","https://openalex.org/W1969430101","https://openalex.org/W1974364927","https://openalex.org/W2034476614","https://openalex.org/W2056860020","https://openalex.org/W2082758488","https://openalex.org/W2147573597","https://openalex.org/W2295649826","https://openalex.org/W2493256084","https://openalex.org/W3145695359","https://openalex.org/W4236231374","https://openalex.org/W6600781337"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4388145910","https://openalex.org/W2381570729","https://openalex.org/W1976205134","https://openalex.org/W4248336175","https://openalex.org/W4299458587","https://openalex.org/W94095720","https://openalex.org/W1965713788","https://openalex.org/W49977995","https://openalex.org/W2142249507"],"abstract_inverted_index":{"The":[0],"problem":[1],"of":[2,13],"testing":[3],"sequential":[4,15],"machines":[5,16],"using":[6],"checking":[7,30],"experiments":[8,31],"is":[9,22,26,38,45,52],"investigated.":[10],"A":[11,24],"method":[12],"modifying":[14],"by":[17],"adding":[18],"a":[19],"controllable":[20],"input":[21],"presented.":[23],"procedure":[25],"given":[27],"to":[28,47],"construct":[29],"for":[32],"the":[33,50],"modified":[34],"machine":[35,51],"and":[36],"it":[37],"shown":[39],"that":[40],"only":[41],"one":[42],"output":[43],"observation":[44],"sufficient":[46],"determine":[48],"whether":[49],"fault":[53],"free.":[54]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}