TY - JOUR T1 - An empirical investigation into branch coverage for C programs using CUTE and AUSTIN JO - J SYST SOFTWARE UR - http://eprints.whiterose.ac.uk/42735/ PY - 2010/12/01 AU - Lakhotia K AU - McMinn P AU - Harman M ED - DO - DOI: 10.1016/j.jss.2010.07.026 VL - 83 IS - 12 SP - 2379 EP - 2391 Y2 - 2025/05/18 ER -