{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:48:20Z","timestamp":1730342900362,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715117","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"988-991","source":"Crossref","is-referenced-by-count":0,"title":["Assertion-Based Verification through Binary Instrumentation"],"prefix":"10.23919","author":[{"given":"Enzo","family":"Brignon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Gnu scientific library","year":"0","key":"ref10"},{"key":"ref11","article-title":"Feedback Control for a Path Following Robotic Car","author":"mellodge","year":"2002","journal-title":"Master of Science Virginia Tech"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1995","author":"gamma","key":"ref13"},{"key":"ref4","article-title":"Runtime monitoring temporal property specification through code assertions","author":"thaker","year":"2005","journal-title":"Department of Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060076"},{"key":"ref6","article-title":"Runtime Verification of C Programs","author":"havelund","year":"2008","journal-title":"Proc Test-Com’2008 Springer-Verlag (LNCS 5047)"},{"key":"ref5","article-title":"Monitoring temporal logic specifications combined with time series constraints","volume":"9","author":"drusinsky","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494596"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340488"},{"key":"ref2","article-title":"PSL and SVA: Two Standard Assertion Languages Addressing Complementary Engineering Needs","author":"havlicek","year":"2005","journal-title":"Proc DVCon’2005"},{"journal-title":"IEEE Standard for Property Specification Language IEEE","year":"2010","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72685-2_54"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715117.pdf?arnumber=8715117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T01:46:54Z","timestamp":1643248014000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715117","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}