Assessment of a sampling method for measuring safety-critical software reliability.

Farokh B. Bastani Alberto Pasquini

Published in: ISSRE (1994)

Keyphrases

software reliability
safety critical
formal methods
fault tolerant
software testing
agent architecture
embedded systems
support systems
prediction model
adaptive systems
wavelet neural network
root mean square error
real time
knowledge based systems
database
low cost
case study