Prioritization of Dynamic Test Cases Based on Historical Data for Use in Regression Testing of Requirement Properties. IJFANS 2022, 11 (Special Issue 1), 2955-2969.