How well do professional developers test with code coverage visualizations? An empirical study