{"id":"https://openalex.org/W2982609971","doi":"https://doi.org/10.1109/ewdts.2019.8884403","title":"Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs","display_name":"Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2982609971","doi":"https://doi.org/10.1109/ewdts.2019.8884403","mag":"2982609971"},"language":"en","primary_location":{"id":"doi:10.1109/ewdts.2019.8884403","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2019.8884403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE East-West Design & Test Symposium (EWDTS)","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/A5016699441","display_name":"Evgenii Vinarskii","orcid":"https://orcid.org/0000-0002-7328-0942"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Evgenii Vinarskii","raw_affiliation_strings":["Computer Science Department, Lomonosov Moscow State University, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Lomonosov Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080111554","display_name":"Aleksandr Tvardovskii","orcid":"https://orcid.org/0000-0001-7705-7214"},"institutions":[{"id":"https://openalex.org/I196355604","display_name":"National Research Tomsk State University","ror":"https://ror.org/02he2nc27","country_code":"RU","type":"education","lineage":["https://openalex.org/I196355604"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Aleksandr Tvardovskii","raw_affiliation_strings":["Radiophysical Department, Tomsk State University, Tomsk, Russia"],"affiliations":[{"raw_affiliation_string":"Radiophysical Department, Tomsk State University, Tomsk, Russia","institution_ids":["https://openalex.org/I196355604"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063739259","display_name":"Larisa Evtushenko","orcid":"https://orcid.org/0000-0003-1261-9735"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Larisa Evtushenko","raw_affiliation_strings":["Computer Science Department, Higher School of Economics, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082528508","display_name":"Nina Yevtushenko","orcid":"https://orcid.org/0000-0002-4006-1161"},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Nina Yevtushenko","raw_affiliation_strings":["Software Engineering Deparment, Ivannikov Institute for System Programming, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Software Engineering Deparment, Ivannikov Institute for System Programming, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5016699441"],"corresponding_institution_ids":["https://openalex.org/I19880235"],"apc_list":null,"apc_paid":null,"fwci":1.3361,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.82750632,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9983999729156494,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.9383409023284912},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6902204751968384},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.538473904132843},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46956849098205566},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.4535336494445801},{"id":"https://openalex.org/keywords/homing","display_name":"Homing (biology)","score":0.431057870388031},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36734384298324585},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33613523840904236}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.9383409023284912},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6902204751968384},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.538473904132843},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46956849098205566},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.4535336494445801},{"id":"https://openalex.org/C151872237","wikidata":"https://www.wikidata.org/wiki/Q1410759","display_name":"Homing (biology)","level":2,"score":0.431057870388031},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36734384298324585},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33613523840904236},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ewdts.2019.8884403","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2019.8884403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE East-West Design & Test Symposium (EWDTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W75838714","https://openalex.org/W82595753","https://openalex.org/W1543281322","https://openalex.org/W1550462819","https://openalex.org/W2005150099","https://openalex.org/W2008813808","https://openalex.org/W2011762419","https://openalex.org/W2022052039","https://openalex.org/W2028233775","https://openalex.org/W2056102643","https://openalex.org/W2074077524","https://openalex.org/W2147573597","https://openalex.org/W2160282650","https://openalex.org/W2296017662","https://openalex.org/W2482027294","https://openalex.org/W2528791244","https://openalex.org/W2754920556","https://openalex.org/W2789083248","https://openalex.org/W2790652601","https://openalex.org/W2893503526","https://openalex.org/W3148336415","https://openalex.org/W4244473411","https://openalex.org/W6695870820"],"related_works":["https://openalex.org/W2741855948","https://openalex.org/W2770489137","https://openalex.org/W2093565921","https://openalex.org/W2790652601","https://openalex.org/W2486976088","https://openalex.org/W2378154521","https://openalex.org/W2100596986","https://openalex.org/W2143578569","https://openalex.org/W2164968206","https://openalex.org/W2538831380"],"abstract_inverted_index":{"State":[0,18],"identification":[1],"sequences,":[2],"such":[3,100],"as":[4,34,36],"homing":[5,163,178],"and":[6,10,77,94,107,151,188],"distinguishing":[7],"sequences":[8,101],"(HS":[9],"DS),":[11],"are":[12,45,79,89,143,171],"widely":[13],"used":[14],"in":[15,22,40,69],"FSM":[16,158],"(Finite":[17],"Machine)":[19],"based":[20,172],"testing":[21],"order":[23],"to":[24,47,159,167],"reduce":[25],"the":[26,59,82,111,184],"size":[27],"of":[28,87,99,113,183,186],"a":[29,85,96,155],"returned":[30],"complete":[31,52,118],"test":[32],"suite":[33],"well":[35],"minimize":[37],"checking":[38],"efforts":[39],"passive":[41],"testing.":[42],"Preset":[43],"HS":[44,73,116,190],"known":[46,67],"always":[48],"exist":[49,74,105],"for":[50,61,110,117,135,154,193],"deterministic":[51],"reduced":[53],"FSMs":[54,93,120,138],"but":[55,129],"it":[56],"is":[57,65,102,191],"not":[58],"case":[60],"nondeterministic":[62,92,119],"FSMs.":[63,196],"It":[64],"also":[66],"that":[68],"this":[70,146],"case,":[71],"adaptive":[72,115,162,187],"more":[75],"often":[76],"usually":[78],"shorter":[80],"than":[81],"preset.":[83],"Nowadays,":[84],"number":[86],"specifications":[88],"represented":[90],"by":[91],"thus,":[95],"deeper":[97],"study":[98],"required.":[103],"There":[104],"sufficient":[106,134,150],"necessary":[108,152],"conditions":[109,131,153],"existence":[112,185],"an":[114,126,161,175],"when":[121],"each":[122],"state":[123,128],"can":[124],"be":[125],"initial":[127],"those":[130],"become":[132],"only":[133,140],"weakly":[136,156],"initialized":[137,157],"where":[139],"some":[141],"states":[142],"initial.":[144],"In":[145],"paper,":[147],"we":[148],"propose":[149],"have":[160],"sequence,":[164],"possibly":[165],"up":[166],"given":[168],"length,":[169],"which":[170],"on":[173],"deriving":[174],"appropriate":[176],"so-called":[177],"FSM.":[179],"The":[180],"experimental":[181],"evaluation":[182],"preset":[189],"performed":[192],"randomly":[194],"generated":[195]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}