{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:00:15Z","timestamp":1725382815782},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/ecctd.2009.5275065","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T19:06:22Z","timestamp":1254855982000},"page":"643-646","source":"Crossref","is-referenced-by-count":2,"title":["SAT-based ATPG testing of inter- and intra-gate bridging faults"],"prefix":"10.1109","author":[{"given":"Tom","family":"Nakura","sequence":"first","affiliation":[]},{"given":"Yutaro","family":"Tatemura","sequence":"additional","affiliation":[]},{"given":"Gorschwin","family":"Fey","sequence":"additional","affiliation":[]},{"given":"Makoto","family":"Ikeda","sequence":"additional","affiliation":[]},{"given":"Satoshi","family":"Komatsu","sequence":"additional","affiliation":[]},{"given":"Kunihiro","family":"Asada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.1995.504443"},{"key":"14","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"an extensible sat solver","author":"een","year":"2004","journal-title":"Int'l Conf on Theory and Applications of Satisability Testing"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923107"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/12.543707"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.556969"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/989995.989997"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2004.1260982"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129902"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1109\/ATS.1995.485316","article-title":"transistor leakage fault location with iddq measurement","author":"xiaoqing","year":"1995","journal-title":"Asian Test Symp"},{"key":"4","first-page":"486","article-title":"test generation for iddq testing and leakage fault detection","author":"mahlstedt","year":"1992","journal-title":"IEEE CS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"}],"event":{"name":"2009 European Conference on Circuit Theory and Design (ECCTD 2009)","start":{"date-parts":[[2009,8,23]]},"location":"Antalya, Turkey","end":{"date-parts":[[2009,8,27]]}},"container-title":["2009 European Conference on Circuit Theory and Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5247537\/5274921\/05275065.pdf?arnumber=5275065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T20:09:31Z","timestamp":1623960571000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5275065\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ecctd.2009.5275065","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}