A meaningful bound for branch testing
Antonia Bertolino, Martina Marré · 1994
Branch coverage is often used to evaluate testing thoroughness. For this reason, it is useful to set a lower bound on the number of test paths needed to achieve branch coverage when estimating how much effort will be needed to test a given program.