Sound Empirical Evidence in Software Testing