{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:40:11Z","timestamp":1761648011952},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/coase.2012.6386487","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T04:15:40Z","timestamp":1357186540000},"page":"857-862","source":"Crossref","is-referenced-by-count":11,"title":["Model-based automatic test generation for Simulink\/Stateflow using extended finite automaton"],"prefix":"10.1109","author":[{"given":"Meng","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ratnesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Automatic generation of test-cases using model checking for sl\/sf models","author":"gadkari","year":"2007","journal-title":"4th International Workshop on Model Driven Engineering Verification and Validation"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"year":"0","key":"10"},{"journal-title":"Simulink\/Stateflow","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.176"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-010-0096-1"},{"year":"0","key":"5"},{"journal-title":"Reactis","year":"0","key":"4"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2011.11"}],"event":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE 2012)","start":{"date-parts":[[2012,8,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,8,24]]}},"container-title":["2012 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6375512\/6386304\/06386487.pdf?arnumber=6386487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:37:14Z","timestamp":1490233034000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6386487\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/coase.2012.6386487","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}