{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:30:21Z","timestamp":1765279821830},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/latw.2013.6562675","type":"proceedings-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T15:33:21Z","timestamp":1374766401000},"page":"1-1","source":"Crossref","is-referenced-by-count":6,"title":["PASSAT 2.0: A multi-functional SAT-based testing framework"],"prefix":"10.1109","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melanie","family":"Diepenbeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Eggersglus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923107"},{"key":"2","first-page":"212","article-title":"PASSAT: Efficient sat-based test pattern generation","author":"shi","year":"2005","journal-title":"Proc IEEE Annu VLSI Symp"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2012.6219063"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.35"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2007.14"},{"key":"4","article-title":"Increasing test compaction abilities of sat-based atpg through fault detection constraints","author":"eggersglub","year":"2012","journal-title":"3rd Workshop on RTL and High Level Testing"}],"event":{"name":"2013 14th Latin American Test Workshop - LATW","start":{"date-parts":[[2013,4,3]]},"location":"Cordoba","end":{"date-parts":[[2013,4,5]]}},"container-title":["2013 14th Latin American Test Workshop - LATW"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6554180\/6562651\/06562675.pdf?arnumber=6562675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T03:00:20Z","timestamp":1553828420000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6562675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/latw.2013.6562675","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}