Robert M. Hierons Mark Harman Chris Fox Branch-Coverage Testability Transformation for Unstructured Programs. 421-436 2005 48 Comput. J. 4 http://dx.doi.org/10.1093/comjnl/bxh093 db/journals/cj/cj48.html#HieronsHF05