Modelling an imperfect debugging phenomenon with testing effort. - P. K. Kapur 001; P. S. Grover; S. Younes (ISSRE, 1994)