History-based dynamic test case prioritization for requirement properties in regression testing