J. Cocke, Global common subexpression elimination. SIGPLAN Not, p.2024, 1970.
DOI : 10.1145/390013.808480

M. A. Dave, Compiler verication: A bibliography, SIGSOFT Softw. Eng. Notes, vol.28, issue.6, 2003.

E. Eide and J. Regehr, Volatiles are miscompiled, and what to do about it, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, 2008.
DOI : 10.1145/1450058.1450093

S. L. Graham and M. Wegman, A fast and usually linear algorithm for global ow analysis, J. ACM, vol.23, issue.1, p.172202, 1976.

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective. Formal Aspects of Comp, p.573609, 2015.

V. Le, M. Afshari, and Z. Su, Compiler validation via equivalence modulo inputs, 2014.
DOI : 10.1145/2594291.2594334
URL : http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

X. Leroy, Formal verication of a realistic compiler, Commun. ACM, vol.52, issue.107, p.115, 2009.

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis: The Plum Hall validation suite for C, 1999.
DOI : 10.1007/978-3-662-03811-6

J. Ruderman, jsfunfuzz (2015), https://github

B. Steen, M. Isberner, S. Naujokat, T. Margaria, and M. Geske, Property-driven benchmark generation: synthesizing programs of realistic structure, International Journal on Software Tools for Technology Transfer, vol.16, issue.5, p.465479, 2014.

B. Turner, Random C program generator, 2007.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in C compilers, PLDI '11, p.283294, 2011.

C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang, Automated test program generation for an industrial optimizing compiler, ICSE Workshop on Automation of Software Test, p.3643, 2009.