G. Barany, F. Kirchner, and N. Kosmatov, Liveness-driven random program generation Virgile Prevosto, Julien Signoles, and Boris Yakobowski . Frama-C : A software analysis perspective, 27th International Symposium on Logic-Based Program Synthesis and Transformation, pp.573-609, 2015.

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

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

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