Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites
Résumé
In this presentation, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. Short paper.
Domaines
Autre [cs.OH]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...