{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:21:38Z","timestamp":1755800498599},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iscas.2013.6572197","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:40:23Z","timestamp":1376480423000},"page":"1724-1727","source":"Crossref","is-referenced-by-count":4,"title":["Feasible transition path generation for EFSM-based system testing"],"prefix":"10.1109","author":[{"family":"Sieng Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chia Yee Ooi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yuan Wen Hau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. N.","family":"Marsono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nasir","family":"Shaikh-Husin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof207"},{"journal-title":"Search-based Software Engineering A Search-based Approach for Testing from Extended Finite State Machine (EFSM) Models","year":"2009","author":"kalaji","key":"2"},{"key":"10","first-page":"190","author":"heineman","year":"2008","journal-title":"Algorithms in a Nutshell"},{"key":"1","first-page":"6","author":"rashinkar","year":"2000","journal-title":"System-On-A-Chip Verification Methodology and Techniques"},{"key":"7","first-page":"197","article-title":"An efsm-based approach for functional atpg","author":"franco","year":"2005","journal-title":"Proceedings of the 15th ACM Great Lakes Symposium on VLSI Ser GLSVLSI '05"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275300"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.12"},{"key":"4","first-page":"164","article-title":"Most: A multi-objective searchbased testing from efsm","author":"yano","year":"2011","journal-title":"Software Testing Verification and Validation Workshop IEEE International Conference on"},{"key":"9","first-page":"54","article-title":"Model-based regression test suite generation using dependence analysis","author":"yanping","year":"2007","journal-title":"Proceedings of the 3rd International Workshop on Advances in Model-based Testing Ser AMOST '07"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.44"}],"event":{"name":"2013 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2013,5,19]]},"location":"Beijing","end":{"date-parts":[[2013,5,23]]}},"container-title":["2013 IEEE International Symposium on Circuits and Systems (ISCAS2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6560459\/6571764\/06572197.pdf?arnumber=6572197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T16:41:52Z","timestamp":1490200912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6572197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iscas.2013.6572197","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}