Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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]
Fichier principal
Vignette du fichier
bene.pdf (65.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00881291 , version 1

Cite

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 View
187 Download

Share

Gmail Facebook Twitter LinkedIn More