{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T16:19:58Z","timestamp":1792253998524,"version":"4.4.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006190","name":"Research and Development","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006190","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247787","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["STCG: State-Aware Test Case Generation for Simulink Models"],"prefix":"10.1109","author":[{"given":"Zhuo","family":"Su","sequence":"first","affiliation":[{"name":"Tsinghua University,KLISS, BNRist, School of Software,Beijing,China,100084"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zehong","family":"Yu","sequence":"additional","affiliation":[{"name":"Tsinghua University,KLISS, BNRist, School of Software,Beijing,China,100084"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongyan","family":"Wang","sequence":"additional","affiliation":[{"name":"Renmin University of China,Information Technology Center,Beijing,China,100872"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yixiao","family":"Yang","sequence":"additional","affiliation":[{"name":"Capital Normal University,Information Engineering College,Beijing,China,100089"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rui","family":"Wang","sequence":"additional","affiliation":[{"name":"Capital Normal University,Information Engineering College,Beijing,China,100089"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wanli","family":"Chang","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom,YO10 5DD"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aiguo","family":"Cui","sequence":"additional","affiliation":[{"name":"HUAWEI Technologies, Co. LTD.,Shanghai,China,200120"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University,KLISS, BNRist, School of Software,Beijing,China,100084"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969377"},{"key":"ref12","first-page":"84","article-title":"An anstrumentation-based approach to controller model validation","author":"cleaveland","year":"2006","journal-title":"Automotive Software Workshop"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889162"},{"key":"ref14","article-title":"Simulink design verifier-applying automated formal methods to simulink and stateflow","author":"hamon","year":"2008","journal-title":"Third Workshop on Automated Formal Methods"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1489"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3270112.3275338"},{"key":"ref1","year":"0","journal-title":"Simulink documentation"},{"key":"ref17","year":"0","journal-title":"Symbolic Analysis Laboratory"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11498490_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2489280.2489285"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024777"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3132564"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1201\/9781315218335"},{"key":"ref6","article-title":"Phcg: Optimizing simulink code generation for embedded system with simd instructions","author":"su","year":"2022","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2014.6901058"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,7,9]]},"end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247787.pdf?arnumber=10247787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:40:56Z","timestamp":1696268456000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247787\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247787","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}