Applying a dynamic testability technique to debugging certain classes of software faults Jeffrey M. VoasKeith W. Miller Papers Pages: 61 - 75