{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:50:20Z","timestamp":1726069820414},"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-10","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"page":"51-76","source":"Crossref","is-referenced-by-count":1,"title":["Behavioral System Models versus Models of Testing Strategies in Functional Test Generation"],"prefix":"10.1201","member":"301","reference":[{"key":"ref2","unstructured":"Aho, A. V., Dahbura, A. T., Lee, D., and Uyar, M. U\u00a8. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE transactions on communications, 39(11):1604\u20131615."}],"container-title":["Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T06:31:25Z","timestamp":1594362685000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.taylorfrancis.com\/books\/9781439818473\/chapters\/10.1201\/b11321-10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"ISBN":["9781315218021"],"references-count":1,"URL":"https:\/\/doi.org\/10.1201\/b11321-10","relation":{},"subject":[],"published":{"date-parts":[[2017,12,19]]}}}