Imperfect debugging in software reliability: A Bayesian approach. - Tevfik Aktekin; Toros Caglar (Eur. J. Oper. Res., 2013)