{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:31:19Z","timestamp":1765279879493,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/test.2014.7035351","type":"proceedings-article","created":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T22:21:10Z","timestamp":1423693270000},"page":"1-10","source":"Crossref","is-referenced-by-count":22,"title":["Efficient SAT-based ATPG techniques for all multiple stuck-at faults"],"prefix":"10.1109","author":[{"given":"Masahiro","family":"Fujita","sequence":"first","affiliation":[]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"114","article-title":"Clarke: Solving QBF with Counterexample Guided Refinement","author":"janota","year":"2012","journal-title":"SATNAC 2012"},{"key":"ref11","article-title":"Optimization-based Multiple Target Test Generation for Highly Compacted Test Sets","author":"eggersglus","year":"2014","journal-title":"European Test Symposium"},{"key":"ref12","article-title":"An analysis of the multiple fault detection capabilities of single stuck-at fault test sets","author":"hughes","year":"1984","journal-title":"International Test Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1084929"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1264","DOI":"10.1109\/T-C.1971.223126","article-title":"derivation of minimum test sets for unate logical circuits","volume":"c 20","author":"betancourt","year":"1971","journal-title":"IEEE Transactions on Computers"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223638"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76983"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569601"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580093"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1999.810724"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691102"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2275254"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.55"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"Alan Mishchenko: ABC: An Academic Industrial-Strength Verification Tool","author":"brayton","year":"2010","journal-title":"22nd International Conference on Computer Aided Verification (CAV 2010)"},{"key":"ref8","article-title":"Brown: FPGA Logic Synthesis Using Quantified Boolean Satisfiability","author":"andrew","year":"2005","journal-title":"SAT"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691203"},{"key":"ref2","first-page":"184","article-title":"Bushnell: Search State Equivalence for Redundancy Identification and Test Generation","author":"john","year":"1991","journal-title":"International Test Conference (ITC)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/43.3140"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1994.367254"}],"event":{"name":"2014 IEEE International Test Conference (ITC)","start":{"date-parts":[[2014,10,20]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2014,10,23]]}},"container-title":["2014 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7024668\/7035243\/07035351.pdf?arnumber=7035351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T21:27:23Z","timestamp":1566336443000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7035351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/test.2014.7035351","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}