{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:01:08Z","timestamp":1729674068383,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wpc.2004.1311069","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"251-255","source":"Crossref","is-referenced-by-count":3,"title":["An eclipse plug-in for model checking"],"prefix":"10.1109","author":[{"given":"D.","family":"Beyer","sequence":"first","affiliation":[]},{"given":"T.A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"R.","family":"Jhala","sequence":"additional","affiliation":[]},{"given":"R.","family":"Majumdar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Proc CAV"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317455"},{"journal-title":"Test Driven Development By Example","year":"2002","author":"beck","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2003.1203056"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"5","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/978-3-540-39910-0_16","article-title":"Extreme model checking","author":"henzinger","year":"2003","journal-title":"International Symposium on Verification Theory and Practice"},{"key":"4","first-page":"27","article-title":"JUnit: A cook's tour","volume":"4","author":"gamma","year":"1999","journal-title":"Java Report"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277750"}],"event":{"name":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","location":"Bari, Italy"},"container-title":["Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9175\/29108\/01311069.pdf?arnumber=1311069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:06Z","timestamp":1497613926000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1311069\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/wpc.2004.1311069","relation":{},"subject":[]}}