"Generating Test Data for Branch Coverage."

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics