| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [8 references]
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
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)