{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:50:15Z","timestamp":1726069815567},"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-19","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"page":"251-272","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Integration Testing with Communication Sequence Graphs"],"prefix":"10.1201","member":"301","reference":[{"key":"ref9","unstructured":"Aho, A.V., Dahbura, A., Lee, D., and Uyar, M. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Transactions on Communications, Volume 39, Number 11, Pages: 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:34Z","timestamp":1594362694000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.taylorfrancis.com\/books\/9781439818473\/chapters\/10.1201\/b11321-19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"ISBN":["9781315218021"],"references-count":1,"URL":"https:\/\/doi.org\/10.1201\/b11321-19","relation":{},"subject":[],"published":{"date-parts":[[2017,12,19]]}}}