A. Balestrat, CCG: A random C code generator Source code repository. (2016). https://github.com/Mrktn/ccg Gergö Barany. 2017. Liveness-Driven Random Program Generation, Pre-proceedings of LOPSTR 2017, 2016.

D. Beyer and M. E. Keremoglu, CPAchecker: A Tool for Configurable Software Verification, Computer Aided Verification - 23rd International Conference, CAV. 184?190, 2011.
DOI : 10.1007/978-3-540-31980-1_40

S. Blazy, D. Bühler, and B. Yakobowski, Structuring Abstract Interpreters Through State and Value Abstractions In Verification , Model Checking, and Abstract Interpretation (VMCAI). https: //doi, 2017.

S. Buchwald, Optgen: A Generator for Local Optimizations, Compiler Construction: 24th International Conference, CC 2015, pp.978-981, 2015.
DOI : 10.1007/978-3-662-46663-6_9

Y. Chen and J. Regehr, Comparing Compiler Optimizations, Blog post, 2010.

P. Cuoq, B. Monate, A. Pacalet, V. Prevosto, J. Regehr et al., Testing Static Analyzers with Randomly Generated Programs, Proceedings of the 4th NASA Formal Methods Symposium, 2012.
DOI : 10.1007/978-3-642-28891-3_12

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, pp.255-264, 2008.
DOI : 10.1145/1450058.1450093

URL : http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf

L. George and A. W. Appel, Iterated Register Coalescing, POPL '96, 1996.
DOI : 10.1145/229542.229546

URL : ftp://ftp.cs.princeton.edu/reports/1995/498.ps.Z

A. Hashimoto and N. Ishiura, Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs, IPSJ Transactions on System LSI Design Methodology, vol.9, issue.0, pp.21-29, 2016.
DOI : 10.2197/ipsjtsldm.9.21

M. Iwatsuji, A. Hashimoto, and N. Ishiura, Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing Julien Signoles, and Boris Yakobowski. 2015. Frama-C: A software analysis perspective, The 20th Workshop on Synthesis And System Integration of Mixed Information technologies, pp.573-609, 2015.

C. Lidbury, A. Lascu, N. Chong, and A. F. Donaldson, Many-core Compiler Fuzzing, Proceedings of PLDI '15, pp.65-76, 2015.
DOI : 10.1145/2813885.2737986

URL : http://spiral.imperial.ac.uk/bitstream/10044/1/32071/2/PLDI_Fuzzing.pdf

H. Massalin, Superoptimizer: A Look at the Smallest Program, Proceedings of ASPLOS II, pp.122-126, 1987.

M. William and . Mckeeman, Differential Testing for Software, Digital Technical Journal, vol.10, issue.1, 1998.

J. Midtgaard, M. Nygaard-justesen, P. Kasting, F. Nielson, and H. Nielson, Effect-driven QuickChecking of compilers, Proc. ACM Program. Lang. 1, ICFP, Article 15, p.3110259, 2017.
DOI : 10.1145/1993498.1993532

T. Moseley, D. Grunwald, and R. Peri, Chainsaw: Using Binary Matching for Relative Instruction Mix Comparison, 2009 18th International Conference on Parallel Architectures and Compilation Techniques, p.12, 2009.
DOI : 10.1109/PACT.2009.12

T. Moseley, D. Grunwald, and R. Peri, OptiScope: Performance Accountability for Optimizing Compilers, 2009 International Symposium on Code Generation and Optimization, 2009.
DOI : 10.1109/CGO.2009.26

E. Nagai, A. Hashimoto, and N. Ishiura, Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions, IPSJ Transactions on System LSI Design Methodology, vol.7, issue.0, pp.91-100, 2014.
DOI : 10.2197/ipsjtsldm.7.91

A. Phitchaya-mangpo-phothilimthana, R. Thakur, D. Bodik, and . Dhurjati, Scaling Up Superoptimization, Proceedings of ASPLOS '16, pp.297-310, 2016.

J. Regehr, Y. Chen, P. Cuoq, E. Eide, C. Ellison et al., Test-case Reduction for C Compiler Bugs, PLDI '12, 2012.
DOI : 10.1145/2254064.2254104

J. Ruderman, Source code repository https: //github.com/MozillaSecurity/funfuzz/tree/master/js/jsfunfuzz Raimondas Sasnauskas Souper: A Synthesizing Superoptimizer, p.4422, 2015.

Y. Shoshitaishvili, R. Wang, C. Salls, N. Stephens, M. Polino et al., SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis, 2016 IEEE Symposium on Security and Privacy (SP), 2016.
DOI : 10.1109/SP.2016.17

C. Sun, V. Le, Q. Zhang, and Z. Su, Toward understanding compiler bugs in GCC and LLVM, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, 2016.
DOI : 10.1109/ICSE.2012.6227112

T. Wei, J. Mao, W. Zou, and Y. Chen, A New Algorithm for Identifying Loops in Decompilation, SAS'07, 2007.
DOI : 10.1007/978-3-540-74061-2_11

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and Understanding Bugs in C Compilers, Proceedings of PLDI '11, pp.283-294, 2011.