{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:07:34Z","timestamp":1760026054978},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/iwast.2009.5069039","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T14:56:15Z","timestamp":1244645775000},"page":"36-43","source":"Crossref","is-referenced-by-count":7,"title":["Automated test program generation for an industrial optimizing compiler"],"prefix":"10.1109","author":[{"family":"Chen Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yunzhi Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Qiuming Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Liang Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhaohui Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Loop Optimization Transformation Using ctl Specifications","year":"2006","author":"xia","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626498000468"},{"journal-title":"SPEC CPU Benchmark","year":"0","key":"14"},{"key":"11","first-page":"300","article-title":"test criteria for context-free grammars","author":"li","year":"2004","journal-title":"COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)"},{"journal-title":"What is UniPhier","year":"2008","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235428"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","author":"banerjee","year":"1988","journal-title":"Dependence Analysis for Supercomputing"},{"key":"10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","article-title":"grammar testing","author":"lammel","year":"2001","journal-title":"FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering"},{"journal-title":"Optimizing Compilers for Modern Architectures A Dependence-Based Approach","year":"2002","author":"kennedy","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00075-5"},{"journal-title":"Program Transformation Using Temporal Logic Specifications","year":"2004","author":"lacey","key":"9"},{"key":"8","first-page":"81","article-title":"application of model-based approach for automated testing of optimizing compilers","author":"kossatchev","year":"2004","journal-title":"Proceedings of the International Workshop on Program Understanding"}],"event":{"name":"2009 ICSE Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 ICSE Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061534\/5069024\/05069039.pdf?arnumber=5069039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T20:54:08Z","timestamp":1558385648000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iwast.2009.5069039","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}