T. Diniz, E. L. G. Alves, A. G. F. Silva, and W. L. Andrade, “Reducing the Discard of MBT Test Cases”, JSERD, vol. 8, pp. 4:1 – 4:15, Aug. 2020.