Design and implementation of a testing tool. - Narayan C. Debnath; Tamer Swidan; Roger Y. Lee; Hamid R. Abachi (CATA, 2000)