{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:47:06Z","timestamp":1725623226444},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/rtcsa.2013.6732226","type":"proceedings-article","created":{"date-parts":[[2014,2,10]],"date-time":"2014-02-10T11:27:14Z","timestamp":1392031634000},"page":"257-266","source":"Crossref","is-referenced-by-count":4,"title":["INSTEP: A static instrumentation framework for preserving extra-functional properties"],"prefix":"10.1109","author":[{"given":"Hany","family":"Kashif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pansy","family":"Arafa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1080\/08993400802114698"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/972627.972635"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331342"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.33"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.12"},{"journal-title":"Rapitime","year":"0","key":"13"},{"journal-title":"EasyWeb","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489580"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/258492.258519"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207163"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266640"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251059"},{"journal-title":"Debug and Trace for Multicore Socs","year":"2008","author":"omre","key":"26"},{"key":"3","article-title":"Better testing through oracle selection: (Nier track)","author":"staats","year":"2011","journal-title":"Software Engineering (ICSE) 2011 33rd International Conference on"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2005.37"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2068304"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.26"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25873-2_34"},{"journal-title":"SNU Real-time Benchmarks","year":"0","key":"6"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45937-5_16","article-title":"Cil: Intermediate language and tools for analysis and transformation of c programs","author":"necula","year":"2002","journal-title":"International Conference on Compiler Construction"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_20"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10288-011-0165-9"},{"journal-title":"MISRA-C 2004 Guidelines for the Use of the C Language in Critical Systems","year":"2004","key":"8"}],"event":{"name":"2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2013,8,19]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2013,8,21]]}},"container-title":["2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6720220\/6732192\/06732226.pdf?arnumber=6732226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T09:52:02Z","timestamp":1565171522000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6732226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2013.6732226","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}