Items where Schools and Departments is "School of Informatics > Centre for Software Reliability" and Year is 1998

Article

Bertolino, A. & Strigini, L. (1998). Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.. Software Testing, Verification and Reliability, 8(3), 155 - 166. doi: 10.1002/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B

Frankl, P. G., Hamlet, R. G., Littlewood, B. & Strigini, L. (1998). Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering, 24(8), 586 - 601. doi: 10.1109/32.707695

Book Section

Bishop, P. G. & Bloomfield, R. E. (1998). A Methodology for Safety Case Development. In: F. Redmill & T. Anderson (Eds.), Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998. . London, UK: Springer. ISBN 3540761896

Conference or Workshop Item

Pizza, M. & Strigini, L. (1998). Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. Paper presented at the The Ninth International Symposium on Software Reliability Engineering, 4 - 7 Nov 1998, Paderborn, Germany.

Pizza, M., Strigini, L., Bondavalli, A. & Di Giandomenico, F. (1998). Optimal discrimination between transient and permanent faults. Paper presented at the High-Assurance Systems Engineering Symposium, 13 - 14 Nov 1998, Washington DC, USA.

Strigini, L., Delic, K. A. & Mazzanti, F. (1998). Formalising Engineering Judgement on Software Dependability via Belief Networks. Paper presented at the Sixth IFIP International Working Conference "Can We Rely on Computers?", Mar 1997, Garmisch-Partenkirchen, Germany.

Report

Littlewood, B., Bainbridge, I. & Bloomfield, R. E. (1998). The use of computers in safety-critical applications. London, UK: Health and Safety Commission.

Littlewood, B., Strigini, L., Wright, D. & Courtois, P.-J. (1998). Examination of Bayesian belief network for safety assessment of nuclear computer-based systems (Report No. 70). Brussels: DeVa ESPRIT Long Term Research Project.