Experimental Comparison of Code-Based and Model-Based Test Prioritization | IEEE Conference Publication | IEEE Xplore