An empirical investigation into branch coverage for C programs using CUTE and AUSTIN