{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:14:40Z","timestamp":1729678480987,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/ets.2012.6233017","type":"proceedings-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T23:41:10Z","timestamp":1342741270000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Exact stuck-at fault classification in presence of unknowns"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Hillebrecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"Kochte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Joachim","family":"Wunderlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Antom - Solver description","author":"schubert","year":"2010","journal-title":"SAT Race"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008376522451"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2011.52"},{"key":"15","first-page":"238","article-title":"Checking equivalence for partial implementations","author":"scholl","year":"2001","journal-title":"Proc Design Automation Conference (DAC)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206456"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843854"},{"key":"14","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/3-540-40922-X_29","article-title":"Symbolic simulation with approximate values","volume":"1954","author":"wilson","year":"2000","journal-title":"Formal Methods in Computer-Aided Design"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763209"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270316"},{"key":"20","first-page":"115","article-title":"On the complexity of derivation in propositional calculus","volume":"2","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"key":"2","first-page":"20","article-title":"Fault simulation for structured VLSI","volume":"6","author":"waicukauski","year":"1985","journal-title":"VLSI Systems Design"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/62882.62918"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76900"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.3140"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823341"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1271094"},{"key":"4","first-page":"946","article-title":"An efficient, forward fault simulation algorithm based on the parallel pattern single fault propagation","author":"lee","year":"1991","journal-title":"Proc International Test Conference (ITC)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1177\/0037549703254811"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ETSYM.2004.1347620"}],"event":{"name":"2012 17th IEEE European Test Symposium (ETS)","start":{"date-parts":[[2012,5,28]]},"location":"Annecy, France","end":{"date-parts":[[2012,5,31]]}},"container-title":["2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6222773\/6232988\/06233017.pdf?arnumber=6233017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:37:48Z","timestamp":1497994668000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6233017\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ets.2012.6233017","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}