{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:00:38Z","timestamp":1729634438921,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sew.2003.1270727","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T20:05:44Z","timestamp":1089317144000},"page":"66-71","source":"Crossref","is-referenced-by-count":2,"title":["Instrumentation of intermediate code for runtime verification"],"prefix":"10.1109","author":[{"given":"A.","family":"Quiroz Gates","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Mondragon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Payne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Roach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008085412199","article-title":"Formally Specified Monitoring of Temporal Properties","author":"kim","year":"1999","journal-title":"Proc Eur Conf Real-Time Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/223428.207163"},{"article-title":"Automating Instrumentation: Identifying Instrumentation Points for Monitoring Constraints at Runtime","year":"2003","author":"payne","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/52.506462"},{"key":"ref14","article-title":"Theorem Proving for Verification","author":"rushby","year":"2000","journal-title":"Modeling and Verification of Parallel Processes"},{"journal-title":"Health Social and Economic Research Project No 7007001 Research Triangle Park NC","article-title":"The Economic Impacts of Inadequate Infrastructure for Software Testing","year":"0","key":"ref15"},{"key":"ref4","first-page":"323","article-title":"Software Faults and their Detection through DynaMICs","author":"gates","year":"1998","journal-title":"The LASTED Conference on Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00251-8"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0164-1212(02)00017-1","article-title":"A Constraint-Based Tracing Approach","volume":"63","author":"gates","year":"2002","journal-title":"Journal of Systems and Software"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref7","article-title":"Formal Methods for Real-Time Systems","author":"heitmeyer","year":"1996","journal-title":"Trends in Software"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"article-title":"JTrek","year":"2001","author":"cohen","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312997"}],"event":{"name":"28th Annual NASA Goddard Software Engineering Workshop, 2003.","location":"Greenbelt, Maryland, USA"},"container-title":["28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8966\/28448\/01270727.pdf?arnumber=1270727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:40:13Z","timestamp":1497602413000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270727\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sew.2003.1270727","relation":{},"subject":[]}}