{"id":"https://openalex.org/W4288037705","doi":"https://doi.org/10.1142/s0218194022500474","title":"Novel Strategy Generating Variable-Length State Machine Test Paths","display_name":"Novel Strategy Generating Variable-Length State Machine Test Paths","publication_year":2022,"publication_date":"2022-07-27","ids":{"openalex":"https://openalex.org/W4288037705","doi":"https://doi.org/10.1142/s0218194022500474"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194022500474","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194022500474","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5052452263","display_name":"Vaclav Rechtberger","orcid":"https://orcid.org/0000-0002-4127-5372"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vaclav Rechtberger","raw_affiliation_strings":["Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo namesti 13, 121 35, Prague, Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo namesti 13, 121 35, Prague, Czechia","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025223600","display_name":"Miroslav Bure\u0161","orcid":"https://orcid.org/0000-0002-2994-7826"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Miroslav Bures","raw_affiliation_strings":["Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo namesti 13, 121 35, Prague, Czechia"],"raw_orcid":"https://orcid.org/0000-0002-2994-7826","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo namesti 13, 121 35, Prague, Czechia","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031391282","display_name":"Bestoun S. Ahmed","orcid":"https://orcid.org/0000-0001-9051-7609"},"institutions":[{"id":"https://openalex.org/I43968019","display_name":"Karlstad University","ror":"https://ror.org/05s754026","country_code":"SE","type":"education","lineage":["https://openalex.org/I43968019"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ","SE"],"is_corresponding":false,"raw_author_name":"Bestoun S. Ahmed","raw_affiliation_strings":["Department of Computer Science, FEE, Czech Technical University, Prague, Czech Republic","Department of Mathematics and Computer Science, Karlstad University, Universitetsgatan 2, 65188, Karlstad, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, FEE, Czech Technical University, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Karlstad University, Universitetsgatan 2, 65188, Karlstad, Sweden","institution_ids":["https://openalex.org/I43968019"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041461163","display_name":"Hynek Schvach","orcid":"https://orcid.org/0000-0001-7081-6222"},"institutions":[{"id":"https://openalex.org/I96415178","display_name":"University of Defence","ror":"https://ror.org/04arkmn57","country_code":"CZ","type":"education","lineage":["https://openalex.org/I96415178"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Hynek Schvach","raw_affiliation_strings":["Faculty of Military Health Sciences, Department of Military Medical Service Organisation and Management, University of Defence, Trebesska 1575, 500 01, Hradec Kralove, Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Military Health Sciences, Department of Military Medical Service Organisation and Management, University of Defence, Trebesska 1575, 500 01, Hradec Kralove, Czechia","institution_ids":["https://openalex.org/I96415178"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025223600"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":0.2762,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57398826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"32","issue":"08","first_page":"1247","last_page":"1278"},"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.9991999864578247,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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/range","display_name":"Range (aeronautics)","score":0.6720465421676636},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6223185658454895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5278615355491638},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5228520035743713},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5044971704483032},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5033709406852722},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4910151958465576},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.48012518882751465},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.46503207087516785},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4553923010826111},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.44480499625205994},{"id":"https://openalex.org/keywords/test-set","display_name":"Test set","score":0.4407992959022522},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2754589021205902},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2710822820663452},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.19187849760055542},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1763872504234314},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10724806785583496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0902000367641449}],"concepts":[{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6720465421676636},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6223185658454895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5278615355491638},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5228520035743713},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5044971704483032},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5033709406852722},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4910151958465576},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.48012518882751465},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.46503207087516785},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4553923010826111},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.44480499625205994},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.4407992959022522},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2754589021205902},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2710822820663452},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.19187849760055542},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1763872504234314},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10724806785583496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0902000367641449},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194022500474","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194022500474","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5099999904632568}],"awards":[{"id":"https://openalex.org/G104635254","display_name":null,"funder_award_id":"SGS20/177/OHK3/3T/13","funder_id":"https://openalex.org/F4320309972","funder_display_name":"\u010cesk\u00e9 Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Praze"},{"id":"https://openalex.org/G2291329386","display_name":null,"funder_award_id":"CZ.02.1.01/0.0/0.0/16_019/0000765","funder_id":"https://openalex.org/F4320334253","funder_display_name":"Research Center for Informatics, Czech Technical University in Prague"}],"funders":[{"id":"https://openalex.org/F4320309972","display_name":"\u010cesk\u00e9 Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Praze","ror":"https://ror.org/03kqpb082"},{"id":"https://openalex.org/F4320334253","display_name":"Research Center for Informatics, Czech Technical University in Prague","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W17610332","https://openalex.org/W603420404","https://openalex.org/W1144731915","https://openalex.org/W1505875330","https://openalex.org/W1991932368","https://openalex.org/W2018249978","https://openalex.org/W2070937773","https://openalex.org/W2079626666","https://openalex.org/W2104618714","https://openalex.org/W2105857955","https://openalex.org/W2119296494","https://openalex.org/W2126130789","https://openalex.org/W2145922831","https://openalex.org/W2160976207","https://openalex.org/W2596570543","https://openalex.org/W2725797837","https://openalex.org/W2755609451","https://openalex.org/W2886168158","https://openalex.org/W2895413350","https://openalex.org/W2922027358","https://openalex.org/W2959879502","https://openalex.org/W2963623343","https://openalex.org/W2972957841","https://openalex.org/W2980219232","https://openalex.org/W4232038577","https://openalex.org/W4253103663","https://openalex.org/W4298110250","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2518496273","https://openalex.org/W4281776227","https://openalex.org/W2559270857","https://openalex.org/W2903616347","https://openalex.org/W2972137082","https://openalex.org/W2246269111","https://openalex.org/W2144517783","https://openalex.org/W1989136995","https://openalex.org/W2375564444","https://openalex.org/W3006257721"],"abstract_inverted_index":{"Finite":[0],"State":[1],"Machine":[2],"is":[3,90,187],"a":[4,31,37,69,82,112,130,193,200,218],"popular":[5],"modeling":[6],"notation":[7],"for":[8],"various":[9],"systems,":[10],"especially":[11],"software":[12],"and":[13,42,46,81,117,145,154,197],"electronic.":[14],"Test":[15],"paths":[16],"(TPs)":[17],"can":[18],"be":[19,205,216],"automatically":[20],"generated":[21,104,119],"from":[22,150],"the":[23,54,93,98,101,106,126,140,159,180,209,212],"system":[24,76],"model":[25],"to":[26,44,152,164,204,215],"test":[27,78,102,142,177],"such":[28],"systems":[29],"using":[30],"suitable":[32],"algorithm.":[33],"This":[34],"paper":[35],"presents":[36],"strategy":[38,59,89,124,186],"that":[39],"generates":[40],"TPs":[41,48,64,213],"allows":[43],"start":[45],"end":[47],"only":[49,65],"in":[50,68,129,190,199,217],"defined":[51,219],"states":[52],"of":[53,66,84,100,114,133,211],"finite":[55],"state":[56,201],"machine.":[57],"The":[58,88,122,136,184],"also":[60],"simultaneously":[61],"supports":[62],"generating":[63],"length":[67,148,210],"given":[70],"range.":[71,220],"For":[72],"this":[73],"purpose,":[74],"alternative":[75,95,182],"models,":[77],"coverage":[79,109,143],"criteria,":[80],"set":[83,103],"algorithms":[85],"are":[86],"developed.":[87],"compared":[91,127,181],"with":[92,139],"best":[94],"based":[96],"on":[97,111],"reduction":[99],"by":[105],"established":[107],"N-switch":[108],"approach":[110],"mix":[113],"171":[115],"industrial":[116],"artificially":[118],"problem":[120],"instances.":[121],"proposed":[123,160,185],"outperforms":[125],"variant":[128],"smaller":[131],"number":[132],"TP":[134,147,195],"steps.":[135],"extent":[137],"varies":[138],"used":[141],"criterion":[144],"preferred":[146],"range":[149],"none":[151],"two":[153],"half":[155],"fold":[156],"difference.":[157],"Moreover,":[158],"technique":[161],"detected":[162],"up":[163],"30%":[165],"more":[166],"simple":[167],"artificial":[168],"defects":[169],"inserted":[170],"into":[171],"experimental":[172],"SUT":[173],"models":[174],"per":[175],"one":[176],"step":[178],"than":[179],"technique.":[183],"well":[188],"applicable":[189],"situations":[191],"where":[192],"possible":[194],"starts":[196],"ends":[198],"machine":[202],"needs":[203],"reflected":[206],"and,":[207],"concurrently,":[208],"has":[214]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}