TY - RPRT TI - On testing of functionally equivalent components of fault-tolerant software AU - Vouk, Mladen A. AU - Helsabeck, Michael L. AU - Tai, Kuo-Chung AU - Mcallister, David F. PY - 1986 UR - https://ntrs.nasa.gov/citations/19880041835 ID - 19880041835 ER -