Diniz, T.; Alves, E. L. G.; Silva, A. G. F.; Andrade, W. L. Reducing the Discard of MBT Test Cases. JSERD 2020, 8, 4:1 - 4:15.