On Testing Non-Testable Programs

Elaine J. Weyuker. On Testing Non-Testable Programs. Comput. J., 25(4):465-470, 1982.