Requirement dependencies-based formal approach for test case prioritization in regression testing | IEEE Conference Publication | IEEE Xplore