Adalberto Nobiato Crespo Mario Jino Alberto Pasquini José Carlos Maldonado A binomial software reliability model based on coverage of structural testing criteria. 185-209 2008 13 Empirical Software Engineering 2 http://dx.doi.org/10.1007/s10664-007-9055-3 db/journals/ese/ese13.html#CrespoJPM08