Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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]
Fichier principal
Vignette du fichier
bene.pdf (65.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00881291 , version 1 (08-12-2013)

Identifiants

  • HAL Id : hal-00881291 , version 1

Citer

Benoit Cornu, Lionel Seinturier, Martin Monperrus. Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites. Benevol 2013, Dec 2013, Mons, Belgium. ⟨hal-00881291⟩
181 Consultations
190 Téléchargements

Partager

Gmail Facebook X LinkedIn More