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  - 2024/12/22

ER  -