Compilers
- 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
- csmith
- creduce
- yarpgen https://github.com/intel/yarpgen
Learning
- Glossary
- Translation
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- Code complexity
- Quality Assurance Tools
- Test Runners
- Testing-As-A-Service
- Conformance Test Suites
- Test Infrastructure
- Fault injection
- TTCN-3
- Continuous Integration
- Speedup your CI
- Performance
- Formal Specification
- Toy Projects
- Test Impact Analysis
- Formats
Functional testing
- Automated testing
- By type:
WIP sections
Community
Links