{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:26Z","timestamp":1750308026127,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,30]],"date-time":"2007-09-30T00:00:00Z","timestamp":1191110400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,30]]},"DOI":"10.1145\/1289881.1289890","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"38-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SCCP\/x"],"prefix":"10.1145","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[{"name":"Vienna University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,30]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/197405.197406"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5555\/827272.829144"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1049\/sej.1994.0025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1090\/psapm\/019\/0235771"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_8_1","first-page":"182","article-title":"Formal requirements for structural code-coverage preservation of code optimization: The SCCP\/x framework. Technical report, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik","volume":"1","author":"Kirner R.","year":"2007","unstructured":"R. Kirner . Formal requirements for structural code-coverage preservation of code optimization: The SCCP\/x framework. Technical report, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik , Treitlstr. 1-3 \/ 182 - 181 , 1040 Vienna, Austria, 2007 . R. Kirner. Formal requirements for structural code-coverage preservation of code optimization: The SCCP\/x framework. Technical report, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 1-3\/182-1, 1040 Vienna, Austria, 2007.","journal-title":"Treitlstr."},{"key":"e_1_3_2_1_9_1","first-page":"320","volume-title":"Inc.","author":"Muchnick S. S.","year":"1997","unstructured":"S. S. Muchnick . Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers , Inc. , 1997 . ISBN 1-55860- 320 - 324 . S. S. Muchnick. Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, Inc., 1997. ISBN 1-55860-320-4."},{"unstructured":"G. J. Myers. The Art of Software Testing. John Wiley & Sons 1979.   G. J. Myers. The Art of Software Testing. John Wiley & Sons 1979.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/349299.349314"},{"unstructured":"Software considerations in airborne systems and equipment certification. RTCA\/DO-178B 1992.  Software considerations in airborne systems and equipment certification. RTCA\/DO-178B 1992.","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/DATE.2005.76"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/SEUS.2005.12"},{"key":"e_1_3_2_1_15_1","first-page":"165","volume-title":"Proc. IEEE\/ACM Design, Automation and Test in Europe Conference, Designers' Forum","author":"Wolf F.","year":"2001","unstructured":"F. Wolf , J. Kruse , and R. Ernst . Segment-wise timing and power measurement in software emulation . In Proc. IEEE\/ACM Design, Automation and Test in Europe Conference, Designers' Forum , pages 165 -- 169 , Munich, Germany , Mar. 2001 . F. Wolf, J. Kruse, and R. Ernst. Segment-wise timing and power measurement in software emulation. In Proc. IEEE\/ACM Design, Automation and Test in Europe Conference, Designers' Forum, pages 165--169, Munich, Germany, Mar. 2001."},{"key":"e_1_3_2_1_16_1","first-page":"178","volume-title":"International workshop on Compiler Optimization meets Compiler Verificaiton (COCV)","author":"Zuck L.","year":"2002","unstructured":"L. Zuck , A. Pnueli , Y. Fang , and B. Goldberg . VOC: A translation validator for optimizing compilers . In International workshop on Compiler Optimization meets Compiler Verificaiton (COCV) , pages 178 -- 190 , Apr. 2002 . L. Zuck, A. Pnueli, Y. Fang, and B. Goldberg. VOC: A translation validator for optimizing compilers. In International workshop on Compiler Optimization meets Compiler Verificaiton (COCV), pages 178--190, Apr. 2002."}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"acronym":"ESWEEK07","name":"ESWEEK07: Third Embedded Systems Week","location":"Salzburg Austria"},"container-title":["Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289881.1289890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1289881.1289890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:58Z","timestamp":1750259638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289881.1289890"}},"subtitle":["a compilation profile to support testing and verification of optimized code"],"short-title":[],"issued":{"date-parts":[[2007,9,30]]},"references-count":14,"alternative-id":["10.1145\/1289881.1289890","10.1145\/1289881"],"URL":"https:\/\/doi.org\/10.1145\/1289881.1289890","relation":{},"subject":[],"published":{"date-parts":[[2007,9,30]]},"assertion":[{"value":"2007-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}