TY - JOUR T1 - Branch-Coverage Testability Transformation for Unstructured Programs JO - The Computer Journal PY - 2005/01/01 AU - Hierons RM ED - DO - DOI: 10.1093/comjnl/bxh093 PB - Oxford University Press (OUP) VL - 48 IS - 4 SP - 421 EP - 436 Y2 - 2024/12/22 ER -