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 9 1Ãâ·Ñ°æÏ Press (OUP) VL - 48 IS - 4 SP - 421 EP - 436 Y2 - 2025/06/25 ER -