An Empirical Study about the Effectiveness of Debugging when Random Test Cases Are Used