{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:50:16Z","timestamp":1726069816869},"edition-number":"0","reference-count":1,"publisher":"CRC Press","isbn-type":[{"type":"electronic","value":"9781315218021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,19]]},"DOI":"10.1201\/b11321-13","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T13:10:22Z","timestamp":1322917822000},"page":"105-138","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Model-Based Test Generation from UML State Machines Stephan Wei\u00dfleder and Holger Schlinglo\ufb00"],"prefix":"10.1201","member":"301","reference":[{"key":"ref4","doi-asserted-by":"crossref","unstructured":"1. Abdurazik, A., Ammann, P., Ding, W., and O\ufb00utt, J. (2000). Evaluation of three speci\ufb01cation-based testing criteria. IEEE International Conference on Engineering of Complex Computer Systems, 179.","DOI":"10.1109\/ICECCS.2000.873943"}],"container-title":["Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T02:31:29Z","timestamp":1594348289000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.taylorfrancis.com\/books\/9781439818473\/chapters\/10.1201\/b11321-13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"ISBN":["9781315218021"],"references-count":1,"URL":"https:\/\/doi.org\/10.1201\/b11321-13","relation":{},"subject":[],"published":{"date-parts":[[2017,12,19]]}}}