GrayC: Greybox Fuzzing of Compilers and Analysers for C

GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf]

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour

Symbolic Crosschecking of Floating-Point and SIMD Code (2011)

Automatic Testing of Symbolic Execution Engines via Program Generation and Testing (2017)