Evaluating the Assessment of Software Fault-Freeness
Software Engineering
2014-04-29 v1
Abstract
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
Keywords
Cite
@article{arxiv.1404.6844,
title = {Evaluating the Assessment of Software Fault-Freeness},
author = {John Rushby and Bev Littlewood and Lorenzo Strigini},
journal= {arXiv preprint arXiv:1404.6844},
year = {2014}
}
Comments
EDCC-2014, AESSCS 2014