An effective test case prioritization method based on fault severity | IEEE Conference Publication | IEEE Xplore