Compilers - ligurio/sqa-wiki GitHub Wiki

Papers

• Practical Testing of a C99 Compiler Using Output Comparison
• compilers.correctness.md
• https://compilers.iecc.com/comparch/article/93-12-064
• Project Hephaestus for Compiler Testing https://hephaestus-compiler-project.github.io/
• Testing Lua, Roberto Ierusalimschy
• Testing an Optimising Compiler by Generating Random Lambda Terms
• Finding typing compiler bugs
• A Survey of Compiler Testing
• EMI-based Compiler Testing
• Equivalence Modulo Inputs