{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:27:21Z","timestamp":1725485241706},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2005.1568806","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"3-10","source":"Crossref","is-referenced-by-count":2,"title":["Simulation-based functional test generation for embedded processors"],"prefix":"10.1109","author":[{"given":"C.H.-P.","family":"Wen","sequence":"first","affiliation":[]},{"given":"L.-C.","family":"Wang","sequence":"additional","affiliation":[]},{"family":"Kwang-Ting Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-41-5.50037-4"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597145"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80018-1"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322225"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62241"},{"key":"14","first-page":"467","article-title":"Improved sparse multivariate polynomial interpolation algorithms","author":"kaltofen","year":"1988","journal-title":"Int Symp Symbol Algebraic Computat"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843821"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2005.59"},{"key":"21","first-page":"365","article-title":"Verification of synchronous sequential machines based on symbolic execution","author":"coudert","year":"1989","journal-title":"Proc Workshop Automatic Verification Methods Finite State Syst"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249960"},{"key":"20","first-page":"285","article-title":"On the learnability of Boolean formulae","author":"keams","year":"1987","journal-title":"Proc 21st Symp Theory of Computing"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.304.0527"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","author":"kearns","year":"1994","journal-title":"An Introduction to Computational Learning Theory"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998380"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743296"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639687"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041810"},{"year":"0","key":"4"},{"key":"9","first-page":"11","article-title":"Software-Based Self-Test Methodology for Crosstalk Faults in Processors","author":"bai","year":"2003","journal-title":"Proc High-Level Design Validation and Test Workshop"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219068"}],"event":{"name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","location":"Napa Valley, CA, USA"},"container-title":["Tenth IEEE International High-Level Design Validation and Test Workshop, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10490\/33246\/01568806.pdf?arnumber=1568806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T10:18:13Z","timestamp":1555323493000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1568806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2005.1568806","relation":{},"subject":[]}}