High-pressure steam engines and computer software

Publisher Website

1 January 1992

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 2-14
https://doi.org/10.1109/icse.1992.753485

Abstract

No abstract available

Keywords

This publication has 14 references indexed in Scilit:

Comparison of program testing strategies
Published by Association for Computing Machinery (ACM) ,1991
An experimental evaluation of software redundancy as a strategy for improving reliability
IEEE Transactions on Software Engineering, 1991
A critical look at software capability evaluations
IEEE Software, 1991
Analysis of faults in an N-version software experiment
IEEE Transactions on Software Engineering, 1990
Power from Steam
Published by Cambridge University Press (CUP) ,1989
Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering, 1987
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering, 1986
Software aspects of strategic defense systems
Communications of the ACM, 1985
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
IEEE Transactions on Software Engineering, 1985
Toward a theory of test data selection
IEEE Transactions on Software Engineering, 1975