{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:47:35Z","timestamp":1725612455876},"reference-count":8,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/vtest.1994.292295","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:32:51Z","timestamp":1040117571000},"page":"312-318","source":"Crossref","is-referenced-by-count":8,"title":["Automating the verification of memory tests"],"prefix":"10.1109","author":[{"given":"A.J.","family":"Van de Goor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Smit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/54.199799"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/43.55188"},{"journal-title":"Theoretical Foundations of Computer Science","year":"1987","author":"mandrioli","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MT.1993.263136"},{"key":"ref8","first-page":"23","author":"smit","year":"1993","journal-title":"Automatic Verification of March Tests"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675331"},{"journal-title":"Fault Models and Tests for Coupling Faults in Random-Access Memories","year":"1990","author":"cockburn","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00134732"}],"event":{"name":"IEEE VLSI Test Symposium","acronym":"VTEST-94","location":"Cherry Hill, NJ, USA"},"container-title":["Proceedings of IEEE VLSI Test Symposium"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx2\/947\/7228\/00292295.pdf?arnumber=292295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T07:18:10Z","timestamp":1489043890000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/292295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/vtest.1994.292295","relation":{},"subject":[]}}