TY - RPRT TI - Software testability and its application to avionic software AU - Voas, Jeffrey M. AU - Miller, Keith W. AU - Payne, Jeffery E. PY - 1993 UR - https://ntrs.nasa.gov/citations/19940034807 ID - 19940034807 ER -