Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-00881291
Contributor : Benoit Cornu <>
Submitted on : Sunday, December 8, 2013 - 7:00:04 AM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM
Long-term archiving on: : Saturday, March 8, 2014 - 10:05:33 PM

Files

bene.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00881291, version 1

Collections

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. ⟨hal-00881291⟩

Share

Metrics

Record views

498

Files downloads

371