{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T21:05:06Z","timestamp":1781298306181,"version":"3.54.1"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/test.2007.4437615","type":"proceedings-article","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T15:41:30Z","timestamp":1201621290000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["Enhancing signal controllability in functional test-benches through automatic constraint extraction"],"prefix":"10.1109","author":[{"given":"Onur","family":"Guzey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Li-C.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jayanta","family":"Bhadra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-3-540-24775-3_30","article-title":"temporal sequence associations for rare events","volume":"3056","author":"chen","year":"2004","journal-title":"Lecture Notes in Computer Science (LNAI"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"11","year":"0"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009796218281"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.186"},{"key":"2","year":"0"},{"key":"1","year":"0"},{"key":"10","year":"0"},{"key":"7","year":"0"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1995.380415"},{"key":"5","first-page":"487","article-title":"fast algorithms for mining association rules","author":"agrawal","year":"1994","journal-title":"Proc 20th VLDB Conference"},{"key":"4","year":"0","journal-title":"OpenSPARC"},{"key":"9","year":"0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45465-9_6"}],"event":{"name":"2007 IEEE International Test Conference","location":"Santa Clara, CA, USA","start":{"date-parts":[[2007,10,21]]},"end":{"date-parts":[[2007,10,26]]}},"container-title":["2007 IEEE International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4437545\/4437546\/04437615.pdf?arnumber=4437615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T20:53:53Z","timestamp":1781297633000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4437615\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/test.2007.4437615","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}