{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T00:29:22Z","timestamp":1725409762415},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1109\/iccd.2006.4380832","type":"proceedings-article","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:54:59Z","timestamp":1194990899000},"page":"300-307","source":"Crossref","is-referenced-by-count":1,"title":["Simulation-based functional test justification using a Boolean data miner"],"prefix":"10.1109","author":[{"given":"Charles H.-P.","family":"Wen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Onur","family":"Guzey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-C.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116828"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/0222080"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/174130.174138"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1533"},{"article-title":"The elements of statistical learning – date mining, inference, and prediction","year":"2001","author":"hastie","key":"ref14"},{"article-title":"An introduction to support vector machine and other kernel-induced-based learning methods","year":"2002","author":"cristianini","key":"ref15"},{"article-title":"The nature of statistical learning theory","year":"1999","author":"vapnik","key":"ref16"},{"year":"0","key":"ref17"},{"key":"ref18","article-title":"Torch: a modular machine learning software library","author":"collobert","year":"2002","journal-title":"Technical Report IDIAP-RR02-46 IDIAP"},{"article-title":"Association Rule Mining","year":"1998","author":"zhang","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","article-title":"An introduction to computational learning theory","author":"kearns","year":"1994"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.186"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-41-5.50037-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28426"},{"key":"ref2","first-page":"936","article-title":"Simulation-based target test generation techniques for improving the robustness of a software-based self-test methodology","author":"wen","year":"2005","journal-title":"Proc Int'l Test Conf"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249960"},{"key":"ref9","article-title":"Learning Boolean formulae or finite automata is as hard as factoring","author":"kearns","year":"1988","journal-title":"Technical Report TR-14-88"},{"journal-title":"OpenRISC 1200 Specification","year":"0","key":"ref20"}],"event":{"name":"2006 International Conference on Computer Design","start":{"date-parts":[[2007,10,1]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2007,10,4]]}},"container-title":["2006 International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4380776\/4380777\/04380832.pdf?arnumber=4380832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:00:28Z","timestamp":1556967628000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4380832\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iccd.2006.4380832","relation":{},"ISSN":["1063-6404"],"issn-type":[{"type":"print","value":"1063-6404"}],"subject":[],"published":{"date-parts":[[2006,10]]}}}