City Research Online - Evaluating the Assessment of Software Fault-Freeness

Evaluating the Assessment of Software Fault-Freeness

Rushby, J., Littlewood, B. & Strigini, L. (2014). Evaluating the Assessment of Software Fault-Freeness. Paper presented at the AESSCS 2014, 13-05-2015, Newcastle upon Tyne.

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.

Publication Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science

Preview

Text - Accepted Version
Download (124kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Rushby, J. Littlewood, B. Strigini, L.
Event Title:	AESSCS 2014
Event Type:	Conference
Event Location:	Newcastle upon Tyne
Event Dates:	13-05-2015
Status:	Published
Refereed:	Yes
URI:	https://openaccess.city.ac.uk/id/eprint/8294
Date available in CRO:	10 Jul 2015 15:45
Date deposited:	29 July 2017
Dates:	Date Event 28 April 2014 Published