{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:17:33Z","timestamp":1770293853922,"version":"3.49.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/scam.2014.19","type":"proceedings-article","created":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T11:44:19Z","timestamp":1418211859000},"page":"105-114","source":"Crossref","is-referenced-by-count":12,"title":["Instrumentation of Annotated C Programs for Test Generation"],"prefix":"10.1109","author":[{"given":"Guillaume","family":"Petiot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Botella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Signoles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_20"},{"key":"ref11","author":"meyer","year":"1988","journal-title":"Object-Oriented Software Construction"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.59"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1991-14403","article-title":"A three-valued logic for software specification and validation","author":"konikowska","year":"1991","journal-title":"Fundam Inform"},{"key":"ref14","article-title":"Rail, space, security: Three case studies for SPARK 2014","author":"dross","year":"2014","journal-title":"Proc ERTS"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.31274\/rtd-180813-9872","article-title":"A runtime assertion checker for the java modeling language","author":"cheon","year":"2003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"ref17","article-title":"Testing inexecutable conditions on input pointers in C programs with SANTE","author":"chebaro","year":"2012","journal-title":"ICSSEA"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085150"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32469-7_8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09099-3_16"},{"key":"ref6","article-title":"An optimized memory monitoring for runtime assertion checking of C programs","author":"kosmatov","year":"2013","journal-title":"RV"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480593"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069043"},{"key":"ref7","author":"signoles","year":"0","journal-title":"E-ACSL Executable ANSI\/ISO C Specification Language"},{"key":"ref2","author":"baudin","year":"0","journal-title":"ACSL ANSI\/ISO C Specification Language URL"},{"key":"ref1","article-title":"Frama-C - a software analysis perspective","author":"cuoq","year":"2012","journal-title":"sefm"},{"key":"ref9","article-title":"CUTE and jCUTE: concolic unit testing and explicit path model-checking tools","author":"sen","year":"0","journal-title":"CAV 2006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_15"},{"key":"ref21","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"}],"event":{"name":"2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM)","location":"Victoria, BC, Canada","start":{"date-parts":[[2014,9,28]]},"end":{"date-parts":[[2014,9,29]]}},"container-title":["2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/6970367\/6975619\/06975644.pdf?arnumber=6975644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,24]],"date-time":"2022-04-24T01:01:43Z","timestamp":1650762103000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6975644\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":21,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/scam.2014.19","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}