History-based dynamic test case prioritization for requirement properties in regression testing. - Wang, Xiaolin; Zeng, Hongwei (2016)