Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites
Abstract
In this presentation, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. Short paper.
Domains
Other [cs.OH]
Origin : Files produced by the author(s)
Loading...