{"id":"https://openalex.org/W2913232702","doi":"https://doi.org/10.1109/iolts.2019.8854426","title":"A Test Generation Method Based on k-Cycle Testing for Finite State Machines","display_name":"A Test Generation Method Based on k-Cycle Testing for Finite State Machines","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2913232702","doi":"https://doi.org/10.1109/iolts.2019.8854426","mag":"2913232702"},"language":"en","primary_location":{"id":"doi:10.1109/iolts.2019.8854426","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts.2019.8854426","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-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/A5102320483","display_name":"Yuya Kinoshita","orcid":null},"institutions":[{"id":"https://openalex.org/I69740276","display_name":"Tokyo Metropolitan University","ror":"https://ror.org/00ws30h19","country_code":"JP","type":"education","lineage":["https://openalex.org/I69740276"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yuya Kinoshita","raw_affiliation_strings":["Graduate School of System Design, Tokyo Metropolitan University, Tokyo, JAPAN","Graduate School of System Design, Tokyo Metropolitan University, Tokyo, Japan;"],"affiliations":[{"raw_affiliation_string":"Graduate School of System Design, Tokyo Metropolitan University, Tokyo, JAPAN","institution_ids":["https://openalex.org/I69740276"]},{"raw_affiliation_string":"Graduate School of System Design, Tokyo Metropolitan University, Tokyo, Japan;","institution_ids":["https://openalex.org/I69740276"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113865938","display_name":"Toshinori Hosokawa","orcid":null},"institutions":[{"id":"https://openalex.org/I104946051","display_name":"Nihon University","ror":"https://ror.org/05jk51a88","country_code":"JP","type":"education","lineage":["https://openalex.org/I104946051"]},{"id":"https://openalex.org/I52706244","display_name":"College of Industrial Technology","ror":"https://ror.org/054a9s036","country_code":"JP","type":"education","lineage":["https://openalex.org/I52706244"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshinori Hosokawa","raw_affiliation_strings":["College of Industrial Technology, Nihon University, Chiba, JAPAN","College of Industrial Technology Nihon University, Chiba, Japan"],"affiliations":[{"raw_affiliation_string":"College of Industrial Technology, Nihon University, Chiba, JAPAN","institution_ids":["https://openalex.org/I52706244","https://openalex.org/I104946051"]},{"raw_affiliation_string":"College of Industrial Technology Nihon University, Chiba, Japan","institution_ids":["https://openalex.org/I52706244","https://openalex.org/I104946051"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111955990","display_name":"Hideo Fujiwara","orcid":null},"institutions":[{"id":"https://openalex.org/I11381156","display_name":"Osaka Gakuin University","ror":"https://ror.org/04a8t1e98","country_code":"JP","type":"education","lineage":["https://openalex.org/I11381156"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hideo Fujiwara","raw_affiliation_strings":["Faculty of Informatics, Osaka Gakuin University, Osaka, JAPAN","Faculty of Informatics, Osaka-Gakuin University, Osaka, Japan"],"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Osaka Gakuin University, Osaka, JAPAN","institution_ids":["https://openalex.org/I11381156"]},{"raw_affiliation_string":"Faculty of Informatics, Osaka-Gakuin University, Osaka, Japan","institution_ids":["https://openalex.org/I11381156"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102320483"],"corresponding_institution_ids":["https://openalex.org/I69740276"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01434907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"117","issue":"444","first_page":"232","last_page":"235"},"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.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962999820709229,"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/T11338","display_name":"Advancements in Photolithography Techniques","score":0.9550999999046326,"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/fault-coverage","display_name":"Fault coverage","score":0.6962895393371582},{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.6488321423530579},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.631584107875824},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6138041615486145},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.6013489365577698},{"id":"https://openalex.org/keywords/test-compression","display_name":"Test compression","score":0.527889609336853},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5185402035713196},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5102827548980713},{"id":"https://openalex.org/keywords/design-for-testing","display_name":"Design for testing","score":0.5101799964904785},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5015714168548584},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4779791235923767},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4634428322315216},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.4540981352329254},{"id":"https://openalex.org/keywords/scan-chain","display_name":"Scan chain","score":0.4528234899044037},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4405287206172943},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.419948548078537},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3750416934490204},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.33623039722442627},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.20984357595443726},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.17426833510398865},{"id":"https://openalex.org/keywords/integrated-circuit","display_name":"Integrated circuit","score":0.17419475317001343},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09347072243690491}],"concepts":[{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.6962895393371582},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.6488321423530579},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.631584107875824},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6138041615486145},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.6013489365577698},{"id":"https://openalex.org/C29652920","wikidata":"https://www.wikidata.org/wiki/Q7705757","display_name":"Test compression","level":4,"score":0.527889609336853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5185402035713196},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5102827548980713},{"id":"https://openalex.org/C190874656","wikidata":"https://www.wikidata.org/wiki/Q5264347","display_name":"Design for testing","level":3,"score":0.5101799964904785},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5015714168548584},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4779791235923767},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4634428322315216},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.4540981352329254},{"id":"https://openalex.org/C150012182","wikidata":"https://www.wikidata.org/wiki/Q225990","display_name":"Scan chain","level":3,"score":0.4528234899044037},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4405287206172943},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.419948548078537},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3750416934490204},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.33623039722442627},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.20984357595443726},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.17426833510398865},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.17419475317001343},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09347072243690491},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iolts.2019.8854426","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts.2019.8854426","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},{"id":"mag:2913232702","is_oa":false,"landing_page_url":"https://www.ieice.org/ken/paper/20180220j11J/eng/","pdf_url":null,"source":{"id":"https://openalex.org/S4306512848","display_name":"IEICE Technical Report; IEICE Tech. Rep.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEICE Technical Report; IEICE Tech. Rep.","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W124614662","https://openalex.org/W2041734145","https://openalex.org/W2105975226","https://openalex.org/W2147058777","https://openalex.org/W4230587734","https://openalex.org/W4239144429","https://openalex.org/W4302084786"],"related_works":["https://openalex.org/W2979209272","https://openalex.org/W2146214994","https://openalex.org/W2116396886","https://openalex.org/W2414360545","https://openalex.org/W2129244088","https://openalex.org/W2134432034","https://openalex.org/W2157602480","https://openalex.org/W2113458195","https://openalex.org/W1829044268","https://openalex.org/W2096843010","https://openalex.org/W1978063787","https://openalex.org/W2148757937","https://openalex.org/W2379142874","https://openalex.org/W2001084275","https://openalex.org/W2249935508","https://openalex.org/W2755139963","https://openalex.org/W1652271415","https://openalex.org/W2170923027","https://openalex.org/W94095720","https://openalex.org/W104667686"],"abstract_inverted_index":{"Scan":[0],"testing":[1,25],"requires":[2],"long":[3],"test":[4,50,78,83,118],"application":[5],"time":[6,67,123],"and":[7,32,76],"a":[8,66,114,122],"large":[9],"hardware":[10],"overhead.":[11],"To":[12],"avoid":[13],"these":[14],"disadvantages,":[15],"design-for-testability":[16],"methods":[17],"at":[18,45],"register":[19,36],"transfer":[20,37],"level":[21,38],"based":[22],"on":[23,49,107],"non-scan":[24],"are":[26,40,55],"important.":[27],"We":[28,47],"assume":[29],"that":[30,97],"controllers":[31,53,75,111],"data":[33],"paths":[34],"in":[35],"circuits":[39],"isolated":[41],"from":[42],"each":[43],"other":[44],"testing.":[46],"focus":[48],"generation":[51,79,84,119],"for":[52,74,109],"which":[54],"represented":[56],"by":[57,105],"finite":[58,91],"state":[59,72,92],"machines.":[60,93],"In":[61],"this":[62],"paper,":[63],"we":[64],"propose":[65],"expansion":[68,124],"model":[69],"with":[70,113],"initial":[71],"constraints":[73],"its":[77],"method.":[80],"Our":[81],"proposed":[82,99],"method":[85,100],"also":[86],"uses":[87],"the":[88],"information":[89],"of":[90],"Experimental":[94],"results":[95],"show":[96],"our":[98],"achieved":[101],"higher":[102],"fault":[103],"coverage":[104],"8.9%":[106],"average":[108],"all":[110],"compared":[112],"commercial":[115],"tool":[116],"whose":[117],"algorithms":[120],"use":[121],"model.":[125]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}