How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study