{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T05:49:13Z","timestamp":1763099353673,"version":"3.45.0"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100020950","name":"National Science and Technology Council","doi-asserted-by":"publisher","award":["112-2410-H-142-021"],"award-info":[{"award-number":["112-2410-H-142-021"]}],"id":[{"id":"10.13039\/501100020950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1109\/ms.2025.3557942","type":"journal-article","created":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T13:50:20Z","timestamp":1744120220000},"page":"89-96","source":"Crossref","is-referenced-by-count":0,"title":["Electronic Design Automation Algorithms for E-Book Design by Visual Programming Language: A Verification Framework"],"prefix":"10.1109","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7271-6217","authenticated-orcid":false,"given":"Chorng-Shiuh","family":"Koong","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, National Taichung University of Education, Taichung City, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tung-Li","family":"Hsieh","sequence":"additional","affiliation":[{"name":"General Education Center, Wenzao Ursuline University of Languages, Kaohsiung City, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0469-9707","authenticated-orcid":false,"given":"Chao-Chin","family":"Wu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Engineering, National Changhua University of Education, Changua, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3397-6742","authenticated-orcid":false,"given":"Cheng-Yan","family":"Guo","sequence":"additional","affiliation":[{"name":"Graduate School of Advanced Technology, National Taiwan University, Taipei City, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/fie.2011.6143110"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/fie.2014.7044114"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27928-8_43"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2002.1027801"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1201\/9781315138671"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623331"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/icse-seet52601.2021.00027"},{"issue":"2","key":"ref8","first-page":"275","article-title":"Online judgment system for assessing C program structure","volume":"38","author":"Koong","year":"2022","journal-title":"J. Inf. Sci. Eng."},{"key":"ref9","first-page":"150","article-title":"Verified from scratch: Program analysis for learners programs","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Stahlbauer","year":"2020"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338910"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46419-0_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2015.2455034"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/s0020-0190(98)00144-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200987"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/52\/11210832\/10957825.pdf?arnumber=10957825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T05:44:47Z","timestamp":1763099087000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10957825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":15,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/ms.2025.3557942","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"type":"print","value":"0740-7459"},{"type":"electronic","value":"1937-4194"}],"subject":[],"published":{"date-parts":[[2025,11]]}}}