Test Case Prioritization in a Specification-based Testing Environment. - Gary Yu-Hsin Chen; Pei-Qi Wang 004 (J. Softw., 2014)