Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites

Benoit Cornu 1 Lionel Seinturier 1 Martin Monperrus 1
1 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : In this presentation, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. Short paper.
Type de document :
Communication dans un congrès
Benevol 2013, Dec 2013, Mons, Belgium. 2013
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00881291
Contributeur : Benoit Cornu <>
Soumis le : dimanche 8 décembre 2013 - 07:00:04
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : samedi 8 mars 2014 - 22:05:33

Fichiers

bene.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00881291, version 1

Collections

INRIA | UNIV-LILLE3

Citation

Benoit Cornu, Lionel Seinturier, Martin Monperrus. Characterizing, Verifying and Improving Software Resilience with Exception Contracts and Test Suites. Benevol 2013, Dec 2013, Mons, Belgium. 2013. 〈hal-00881291〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

461

Téléchargements de fichiers

307

Contact


archive-ouverte@inria.fr