@article{article, title = {{An empirical investigation into branch coverage for C programs using CUTE and AUSTIN}}, url = {{}}, year = {{2010}}, month = {{12}}, author = {{Lakhotia K and McMinn P and Harman M}}, doi = {{10.1016/j.jss.2010.07.026}}, volume = {{83}}, journal = {{J SYST SOFTWARE}}, issue = {{12}}, pages = {{2379-2391}}, note = {{Accessed on 2025/11/29}}}