{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:34:00Z","timestamp":1769740440156,"version":"3.49.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176425","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:29Z","timestamp":1361297789000},"page":"15-20","source":"Crossref","is-referenced-by-count":22,"title":["Generating instruction streams using abstract CSP"],"prefix":"10.1109","author":[{"given":"Y.","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Rimon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1147\/sj.413.0386"},{"key":"2","first-page":"112","article-title":"Feedback-based coverage directed test generation: An industrial evaluation","volume":"6504","author":"ioannides","year":"2010","journal-title":"LNCS"},{"key":"10","first-page":"1665","article-title":"Stratified planning","author":"chen","year":"0","journal-title":"Proceedings of the International Joint Conference on Artificial Intelligence 2009"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.38"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224444"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"5","first-page":"99","article-title":"Automatic functional test program generation for pipelined processors using model checking","author":"mishra","year":"0","journal-title":"Seventh Annual IEEE International Workshop on High-Level Design Validation and Test October 2002"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319972"},{"key":"9","article-title":"Factored planning: How, when, and when not","author":"brafman","year":"2006","journal-title":"AAAI"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972809"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","location":"Dresden","start":{"date-parts":[[2012,3,12]]},"end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176425.pdf?arnumber=6176425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:46:21Z","timestamp":1490125581000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176425","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}