Papers tagged software reliability
- An Investigation of the Therac-25 Accidents
- Ballista: A Fault Injection-based Automated Testing Service for Dependability Validation
- Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant
- How the Hidden Hand Shapes the Market for Software Reliability
- Liquid Types