{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:59:35Z","timestamp":1729637975548,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/topi.2012.6229808","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:12Z","timestamp":1341941772000},"page":"37-42","source":"Crossref","is-referenced-by-count":4,"title":["TacoPlug: An Eclipse plug-in for TACO"],"prefix":"10.1109","author":[{"given":"Marcos","family":"Chicote","sequence":"first","affiliation":[]},{"given":"Juan Pablo","family":"Galeotti","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","first-page":"191","article-title":"Visualizing Memory Graphs","author":"zimmermann","year":"0","journal-title":"Software Visualization 2001"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232423"},{"journal-title":"A Light-weight Specification Language for Bounded Program Verification","year":"2009","author":"yessenov","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_8"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"journal-title":"A Relational Framework for Bounded Program Verification","year":"2009","author":"dennis","key":"3"},{"journal-title":"Introduction to Algorithms","year":"2009","author":"cormen","key":"2"},{"key":"1","first-page":"168","article-title":"A Tool for Checking ANSI-C Programs","volume":"2988","author":"clarke","year":"0","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1145\/1127878.1127884","article-title":"Preliminary design of JML: A behavioural interface specification language for Java","volume":"31","author":"leavens","year":"2006","journal-title":"ACM Software Engineering Notes"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553587"},{"key":"5","first-page":"502","article-title":"An extensible SAT-solver","volume":"2919","author":"een","year":"2004","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287653"},{"journal-title":"Software Abstractions","year":"2006","author":"jackson","key":"9"},{"key":"8","first-page":"301","article-title":"F-Soft: Software Verification Platform","author":"ivanc?ic?","year":"2005","journal-title":"CAV'05"}],"event":{"name":"2012 2nd Workshop on Developing Tools as Plug-ins (TOPI)","start":{"date-parts":[[2012,6,3]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220301\/6229799\/06229808.pdf?arnumber=6229808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:11:13Z","timestamp":1497978673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/topi.2012.6229808","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}