Is coverage a good measure of testing effectiveness?: An assessment using branch coverage and Random testing | Publicación