{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:17:16Z","timestamp":1730272636430,"version":"3.28.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/iscc.2011.5983967","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T15:24:01Z","timestamp":1313508241000},"page":"967-970","source":"Crossref","is-referenced-by-count":7,"title":["Colored Petri nets model based conformance test generation"],"prefix":"10.1109","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinming","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_1"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_56"},{"key":"1","article-title":"Model-Based Testing of Reactive Systems","volume":"3472","author":"broy","year":"2005","journal-title":"LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2008.4483233"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1995.496973"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"4","first-page":"103","article-title":"Test Generation with Inputs, Outputs and Repetitive Quiescence","volume":"17","author":"tretmans","year":"1996","journal-title":"Software - Concepts and Tools"}],"event":{"name":"2011 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2011,6,28]]},"location":"Corfu, Greece","end":{"date-parts":[[2011,7,1]]}},"container-title":["2011 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5975307\/5983788\/05983967.pdf?arnumber=5983967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:17:16Z","timestamp":1490084236000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5983967\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/iscc.2011.5983967","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}