Test case prioritization based on requirement correlations | IEEE Conference Publication | IEEE Xplore