Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports | IEEE Conference Publication | IEEE Xplore