To Be Optimal or Not in Test-Case Prioritization /Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, and Tao Xie, Senior Member, IEEE - Hao,Dan