TY - RPRT TI - Certification trails and software design for testability AU - Sullivan, Gregory F. AU - Wilson, Dwight S. AU - Masson, Gerald M. PY - 1993 UR - https://ntrs.nasa.gov/citations/19940031559 ID - 19940031559 ER -