{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:31:20Z","timestamp":1729654280165,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/iscis.2009.5291883","type":"proceedings-article","created":{"date-parts":[[2009,10,29]],"date-time":"2009-10-29T11:07:29Z","timestamp":1256814449000},"page":"549-554","source":"Crossref","is-referenced-by-count":3,"title":["Using a SAT solver to generate checking sequences"],"prefix":"10.1109","author":[{"given":"Guy-Vincent","family":"Jourdan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Husnu","family":"Yenigun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/scj.10482"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/26.111442"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363850"},{"journal-title":"zChaff","year":"0","key":"12"},{"year":"0","key":"3"},{"journal-title":"Introduction to the Theory of Finite-State Machines","year":"1962","author":"gill","key":"2"},{"journal-title":"Switching and Finite State Automata Theory","year":"1978","author":"kohavi","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_18"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1032630"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/12.559807"},{"key":"5","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","article-title":"a method for the design of fault detection experiments","volume":"c 19","author":"gonenc","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.80"},{"key":"8","first-page":"146","article-title":"Eliminating redundant tests in checking sequences","author":"chen","year":"2005","journal-title":"Proc of IFIP TestCom'05"}],"event":{"name":"2009 24th International Symposium on Computer and Information Sciences (ISCIS)","start":{"date-parts":[[2009,9,14]]},"location":"Guzelyurt, Cyprus","end":{"date-parts":[[2009,9,16]]}},"container-title":["2009 24th International Symposium on Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5287478\/5291799\/05291883.pdf?arnumber=5291883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T21:10:36Z","timestamp":1497820236000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5291883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iscis.2009.5291883","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}