TY  - RPRT
TI  - A methodology for testing fault-tolerant software
AU  - Andrews, D. M.
AU  - Mahmood, A.
AU  - Mccluskey, E. J.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19860013852
ID  - 19860013852
ER  -