Test Generation with Dynamic Probe Points in High Observability Testing Environment. - Oliver Chiu-sing Choy; Lap-kong Chan; Ray Chan; Cheong-Fat Chan (IEEE Trans. Computers, 1996)