Antonia Bertolino Raffaela Mirandola Emilia Peciola A case study in branch testing automation. 47-59 1997 38 Journal of Systems and Software 1 http://dx.doi.org/10.1016/S0164-1212(97)00061-7 db/journals/jss/jss38.html#BertolinoMP97