{"id":"https://openalex.org/W4409744705","doi":"https://doi.org/10.1109/access.2025.3563337","title":"Action-State Testing\u2014A Model for Test Design Automation","display_name":"Action-State Testing\u2014A Model for Test Design Automation","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409744705","doi":"https://doi.org/10.1109/access.2025.3563337"},"language":"en","primary_location":{"id":"doi:10.1109/access.2025.3563337","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3563337","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2025.3563337","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011694961","display_name":"Istv\u00e1n Forg\u00e1cs","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122451","display_name":"Edutus University","ror":"https://ror.org/02jkgvx03","country_code":"HU","type":"education","lineage":["https://openalex.org/I4210122451"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Istv\u00e1n Forg\u00e1cs","raw_affiliation_strings":["4Test-Plus Ltd., Budapest, Hungary","4Test-Plus Ltd. CEO, HUNGARY"],"raw_orcid":"https://orcid.org/0009-0001-2151-4639","affiliations":[{"raw_affiliation_string":"4Test-Plus Ltd., Budapest, Hungary","institution_ids":["https://openalex.org/I4210122451"]},{"raw_affiliation_string":"4Test-Plus Ltd. CEO, HUNGARY","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002739012","display_name":"Attila Kov\u00e1cs","orcid":"https://orcid.org/0000-0002-1858-7618"},"institutions":[{"id":"https://openalex.org/I2799978770","display_name":"X-Fab (Germany)","ror":"https://ror.org/030bh9196","country_code":"DE","type":"company","lineage":["https://openalex.org/I2799978770"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Attila Kov\u00e1cs","raw_affiliation_strings":["Department of Computer Algebra, Eötvöd Loránd University, Budapest, Hungary","Department of Computer Algebra, Eötvöd Loránd University, Budapest, HUNGARY"],"raw_orcid":"https://orcid.org/0000-0002-1858-7618","affiliations":[{"raw_affiliation_string":"Department of Computer Algebra, Eötvöd Loránd University, Budapest, Hungary","institution_ids":["https://openalex.org/I2799978770"]},{"raw_affiliation_string":"Department of Computer Algebra, Eötvöd Loránd University, Budapest, HUNGARY","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10262167,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":null,"first_page":"75535","last_page":"75545"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9535999894142151,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9535999894142151,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.929099977016449,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9199000000953674,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6597918272018433},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6260326504707336},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5421190857887268},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44062817096710205},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.43830499053001404},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.43409156799316406},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.40943318605422974},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3303823471069336},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19655361771583557},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1939064860343933}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6597918272018433},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6260326504707336},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5421190857887268},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44062817096710205},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.43830499053001404},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.43409156799316406},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.40943318605422974},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3303823471069336},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19655361771583557},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1939064860343933},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2025.3563337","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3563337","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:d91163ffbe414d8fafa353d880e2172e","is_oa":true,"landing_page_url":"https://doaj.org/article/d91163ffbe414d8fafa353d880e2172e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 13, Pp 75535-75545 (2025)","raw_type":"article"},{"id":"pmh:oai:edit.elte.hu:10831/119966","is_oa":true,"landing_page_url":"http://hdl.handle.net/10831/119966","pdf_url":null,"source":{"id":"https://openalex.org/S4306400126","display_name":"ELTE Digital Institutional Repository (EDIT) (E\u00f6tv\u00f6s Lor\u00e1nd University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I106118109","host_organization_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","host_organization_lineage":["https://openalex.org/I106118109"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3563337","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3563337","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W397180395","https://openalex.org/W1566023863","https://openalex.org/W1606184974","https://openalex.org/W1956656014","https://openalex.org/W1986736724","https://openalex.org/W1989329871","https://openalex.org/W2005150099","https://openalex.org/W2011762419","https://openalex.org/W2044138969","https://openalex.org/W2046501404","https://openalex.org/W2049695835","https://openalex.org/W2108557864","https://openalex.org/W2122676216","https://openalex.org/W2135841285","https://openalex.org/W2142840138","https://openalex.org/W2160449526","https://openalex.org/W2566713145","https://openalex.org/W2623766746","https://openalex.org/W3162679235","https://openalex.org/W4206685142","https://openalex.org/W4390246580","https://openalex.org/W4391050748","https://openalex.org/W4401586080","https://openalex.org/W6696473498"],"related_works":["https://openalex.org/W2519676117","https://openalex.org/W2218202131","https://openalex.org/W2155740880","https://openalex.org/W84108837","https://openalex.org/W2131713426","https://openalex.org/W4253249845","https://openalex.org/W2125452230","https://openalex.org/W2148444631","https://openalex.org/W1629973955","https://openalex.org/W133258754"],"abstract_inverted_index":{"Model-based":[0],"testing":[1,42,158,175],"(MBT)":[2],"is":[3],"essential":[4],"in":[5,50],"software":[6],"testing,":[7],"offering":[8],"automation,":[9],"comprehensive":[10],"coverage,":[11],"and":[12,22,35,67,82,144,149,152,168,201],"defect":[13,182],"prevention.":[14],"It":[15],"uses":[16],"abstract":[17],"models":[18],"to":[19,105,199],"automatically":[20],"design":[21,205],"generate":[23],"test":[24,90,98,107,204],"cases,":[25],"representing":[26],"the":[27,40,48,88,111,125,135,139,171,189,193],"expected":[28],"system":[29],"behaviour,":[30],"including":[31],"states,":[32],"transitions,":[33],"inputs,":[34],"outputs.":[36],"This":[37,121,186],"paper":[38,122,187],"explores":[39],"action-state":[41,136,174],"modeling":[43],"technique,":[44],"originally":[45],"introduced":[46],"by":[47,127],"authors":[49],"[1].":[51],"In":[52,109],"this":[53],"approach,":[54],"a":[55,118,147,180],"model":[56,113,137],"step":[57],"comprises":[58],"an":[59,68],"action":[60],"(input),":[61],"one":[62],"or":[63,77],"more":[64],"responses":[65],"(outputs),":[66],"optional":[69],"state.":[70],"The":[71,100],"steps":[72,85,93,102],"can":[73,114],"be":[74,80,115],"arranged":[75],"sequentially,":[76],"they":[78],"may":[79],"forked":[81],"joined.":[83],"Sequential":[84],"appear":[86],"within":[87],"same":[89],"case.":[91],"Forked":[92],"are":[94],"distributed":[95],"across":[96],"different":[97],"cases.":[99,108],"joined":[101],"also":[103],"belong":[104],"separate":[106],"addition,":[110],"graphical":[112],"constructed":[116],"using":[117],"text":[119],"editor.":[120],"builds":[123],"upon":[124],"concept":[126],"establishing":[128],"its":[129],"theoretical":[130],"foundation.":[131],"We":[132],"demonstrate":[133],"how":[134],"eliminates":[138],"need":[140],"for":[141,164],"guard":[142],"conditions":[143],"coding,":[145],"maintains":[146],"concise":[148],"manageable":[150],"structure,":[151],"seamlessly":[153],"incorporates":[154],"outputs,":[155],"ultimately":[156],"enhancing":[157],"efficiency.":[159],"Additionally,":[160],"we":[161],"provide":[162],"guidelines":[163],"adding":[165],"new":[166],"states":[167],"empirically":[169],"validate":[170],"benefits":[172],"of":[173,192],"over":[176],"alternative":[177],"techniques,":[178],"achieving":[179],"100%":[181],"detection":[183],"percentage":[184],"(DDP).":[185],"marks":[188],"first":[190],"installment":[191],"author\u2019s":[194],"Test":[195],"Design":[196],"Trilogy,":[197],"dedicated":[198],"refining":[200],"unifying":[202],"various":[203],"techniques.":[206]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-04-25T00:00:00"}