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. ,
Formal verication of a realistic compiler, Commun. ACM, vol.52, issue.7, p.107115, 2009. ,
Principles of Program Analysis, 1999. ,
DOI : 10.1007/978-3-662-03811-6
Finding and understanding bugs in C compilers, PLDI '11, p.283294, 2011. ,