{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T03:15:40Z","timestamp":1776482140911,"version":"3.51.2"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319944593","type":"print"},{"value":"9783319944609","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94460-9_7","type":"book-chapter","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T11:36:38Z","timestamp":1531136198000},"page":"112-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Liveness-Driven Random Program Generation"],"prefix":"10.1007","author":[{"given":"Gerg\u00f6","family":"Barany","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,10]]},"reference":[{"issue":"7","key":"7_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"FE Allen","year":"1970","unstructured":"Allen, F.E.: Control flow analysis. SIGPLAN Not. 5(7), 1\u201319 (1970). \nhttp:\/\/doi.acm.org\/10.1145\/390013.808479","journal-title":"SIGPLAN Not."},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Barany, G.: Finding missed compiler optimizations by differential testing. In: 27th International Conference on Compiler Construction (2018). \nhttps:\/\/doi.org\/10.1145\/3178372.3179521","DOI":"10.1145\/3178372.3179521"},{"issue":"7","key":"7_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/390013.808480","volume":"5","author":"J Cocke","year":"1970","unstructured":"Cocke, J.: Global common subexpression elimination. SIGPLAN Not. 5(7), 20\u201324 (1970). \nhttp:\/\/doi.acm.org\/10.1145\/390013.808480","journal-title":"SIGPLAN Not."},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/966221.966235","volume":"28","author":"Maulik A. Dave","year":"2003","unstructured":"Dave, M.A.: Compiler verification: a bibliography. SIGSOFT Softw. Eng. Notes 28(6) (2003). \nhttp:\/\/doi.acm.org\/10.1145\/966221.966235","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Eide, E., Regehr, J.: Volatiles are miscompiled, and what to do about it. In: EMSOFT 2008. ACM (2008). \nhttp:\/\/doi.acm.org\/10.1145\/1450058.1450093","DOI":"10.1145\/1450058.1450093"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/321921.321939","volume":"23","author":"SL Graham","year":"1976","unstructured":"Graham, S.L., Wegman, M.: A fast and usually linear algorithm for global flow analysis. J. ACM 23(1), 172\u2013202 (1976)","journal-title":"J. ACM"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/s00165-014-0326-7","volume":"27","author":"F Kirchner","year":"2015","unstructured":"Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Form. Asp. Comp. 27(3), 573\u2013609 (2015)","journal-title":"Form. Asp. Comp."},{"issue":"6","key":"7_CR8","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1145\/2666356.2594334","volume":"49","author":"Vu Le","year":"2014","unstructured":"Le, V., Afshari, M., Su, Z.: Compiler validation via equivalence modulo inputs. In: PLDI 2014. ACM (2014). \nhttp:\/\/doi.acm.org\/10.1145\/2594291.2594334","journal-title":"ACM SIGPLAN Notices"},{"issue":"7","key":"7_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009). \nhttp:\/\/doi.acm.org\/10.1145\/1538788.1538814","journal-title":"Commun. ACM"},{"issue":"6","key":"7_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/2813885.2737986","volume":"50","author":"Christopher Lidbury","year":"2015","unstructured":"Lidbury, C., Lascu, A., Chong, N., Donaldson, A.F.: Many-core compiler fuzzing. In: PLDI 2015, pp. 65\u201376. ACM (2015)","journal-title":"ACM SIGPLAN Notices"},{"issue":"ICFP","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3110259","volume":"1","author":"Jan Midtgaard","year":"2017","unstructured":"Midtgaard, J., Justesen, M.N., Kasting, P., Nielson, F., Nielson, H.R.: Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1(ICFP) (2017). \nhttp:\/\/doi.acm.org\/10.1145\/3110259","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"91","DOI":"10.2197\/ipsjtsldm.7.91","volume":"7","author":"E Nagai","year":"2014","unstructured":"Nagai, E., Hashimoto, A., Ishiura, N.: Reinforcing random testing of arithmetic optimization of C compilers by scaling up size and number of expressions. IPSJ Trans. Syst. LSI Des. Methodol. 7, 91\u2013100 (2014)","journal-title":"IPSJ Trans. Syst. LSI Des. Methodol."},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/978-3-662-03811-6"},{"key":"7_CR14","unstructured":"Pa\u0142ka, M.H., Claessen, K., Russo, A., Hughes, J.: Testing an optimising compiler by generating random lambda terms. In: 6th International Workshop on Automation of Software Test, AST 2011 (2011). \nhttp:\/\/doi.acm.org\/10.1145\/1982595.1982615"},{"key":"7_CR15","unstructured":"Perennial, Inc.: ACVS ANSI\/ISO\/FIPS-160 C validation suite. \nhttp:\/\/www.peren.com\/pages\/acvs_set.htm"},{"key":"7_CR16","unstructured":"Plum Hall, Inc.: The Plum Hall validation suite for C. \nhttp:\/\/www.plumhall.com\/stec.html"},{"key":"7_CR17","unstructured":"Ruderman, J.: jsfunfuzz (2015). \nhttps:\/\/github.com\/MozillaSecurity\/funfuzz\/tree\/master\/js\/jsfunfuzz"},{"issue":"5","key":"7_CR18","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s10009-014-0336-z","volume":"16","author":"B Steffen","year":"2014","unstructured":"Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transfer 16(5), 465\u2013479 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"7_CR19","unstructured":"Turner, B.: Random C program generator (2007). \nhttps:\/\/sites.google.com\/site\/brturn2\/randomcprogramgenerator"},{"issue":"6","key":"7_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/1993316.1993532","volume":"46","author":"Xuejun Yang","year":"2011","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in C compilers. In: PLDI 2011, pp. 283\u2013294. ACM (2011)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR21","unstructured":"Zhao, C., Xue, Y., Tao, Q., Guo, L., Wang, Z.: Automated test program generation for an industrial optimizing compiler. In: ICSE Workshop on Automation of Software Test (2009)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94460-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T11:41:09Z","timestamp":1531136469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94460-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944593","9783319944609"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94460-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}