Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization | IEEE Conference Publication | IEEE Xplore