A binomial software reliability model based on coverage of structural testing criteria - Crespo, Adalberto Nobiato; Jino, Mário; Pasquini, Alberto; Maldonado, José Carlos (Empirical Software Engineering, 2008)