An empirical study about the effectiveness of debugging when random test cases are used | IEEE Conference Publication | IEEE Xplore