{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:27:11Z","timestamp":1648693631792},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T00:00:00Z","timestamp":1317427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/tcad.2011.2157158","type":"journal-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:32:53Z","timestamp":1316791973000},"page":"1579-1583","source":"Crossref","is-referenced-by-count":2,"title":["Subsets of Primary Input Vectors in Sequential Test Generation for Single Stuck-at Faults"],"prefix":"10.1109","volume":"30","author":[{"given":"Irith","family":"Pomeranz","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.21831"},{"key":"ref11","first-page":"40","article-title":"Iterative <formula formulatype=\"inline\"><tex Notation=\"TeX\">$[{\\rm simulation\\hbox{-}based~genetics}+{\\rm deterministic~techniques}]={\\rm complete~aTPG}$<\/tex><\/formula>","author":"saab","year":"1994","journal-title":"Proc Int Conf Comput -Aided Des"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1995.527394"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494328"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1080","DOI":"10.1109\/TCAD.2003.814953","article-title":"PROPTEST: A property-based test generator for synchronous sequential circuits","volume":"22","author":"guo","year":"2003","journal-title":"IEEE Trans Comput-Aided Des"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907229"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2009.19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041985"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/318013.318053"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1271098"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76889"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/2.25381"},{"key":"ref8","first-page":"147","article-title":"Techniques for improving the efficiency of sequential circuit test generation","author":"lin","year":"1999","journal-title":"Proc Int Conf Comput -Aided Des"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206393"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2001.966682"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.556969"},{"key":"ref9","first-page":"88","article-title":"Simulation-oriented fault test generator","author":"snethen","year":"1977","journal-title":"Proc Des Automat Conf"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6022003\/06022014.pdf?arnumber=6022014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:54:02Z","timestamp":1642006442000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6022014\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":18,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2011.2157158","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10]]}}}