-
Notifications
You must be signed in to change notification settings - Fork 408
Compilers
Sergey Bronnikov edited this page Feb 2, 2023
·
5 revisions
- 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
Copyright © 2014-2025 Sergey Bronnikov. Follow me on Mastodon @[email protected] and Telegram.
Learning
- Glossary
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- 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