{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:40:05Z","timestamp":1746592805802,"version":"3.40.5"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Project \u201cSoftware and Data-Intensive Services\u201d"},{"name":"Hungarian National Institute of Science and Innovation","award":["2019-1.3.1-KK-2019-00011"],"award-info":[{"award-number":["2019-1.3.1-KK-2019-00011"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3563337","type":"journal-article","created":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T18:49:28Z","timestamp":1745520568000},"page":"75535-75545","source":"Crossref","is-referenced-by-count":0,"title":["Action-State Testing\u2014A Model for Test Design Automation"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2151-4639","authenticated-orcid":false,"given":"Istv\u00e1n","family":"Forg\u00e1cs","sequence":"first","affiliation":[{"name":"4Test-Plus Ltd., Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1858-7618","authenticated-orcid":false,"given":"Attila","family":"Kov\u00e1cs","sequence":"additional","affiliation":[{"name":"Department of Computer Algebra, Eötvöd Loránd University, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-9893-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.5121\/ijcsit.2023.15604"},{"article-title":"Practical test design: Selection of traditional and automated test design techniques","volume-title":"Proc. BCS","author":"Forg\u00e1cs","key":"ref3"},{"volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","year":"1992","author":"Jacobson","key":"ref4"},{"volume-title":"Writing Effective Use Cases","year":"2000","author":"Cockburn","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187153"},{"key":"ref7","first-page":"1","article-title":"Model based testing","volume-title":"Proc. 10th Softw. Quality Week","author":"Apfelbaum"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-044-5_11"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","article-title":"Software defect reduction top 10 list","author":"Boehm","year":"2001","journal-title":"Computer"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2003.1174229"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2015.0154"},{"volume-title":"Practical Model-Based Testing: A Tools Approach","year":"2010","author":"Utting","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.12.017"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1806"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00203-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00063-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(03)00116-6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44830-6_15"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265734"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24704-3_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2010.62"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.36244\/ICJ.2024.2.2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/75309.75324"},{"volume-title":"The Economics of Software Quality","year":"2012","author":"Jones","key":"ref30"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/10973230.pdf?arnumber=10973230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:26:47Z","timestamp":1746592007000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10973230\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3563337","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}