An optimal software debugging model. - Franz Josef Radermacher; Sheldon M. Ross; N. S. Wee (Ann. Oper. Res., 1991)