Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing | IEEE Conference Publication | IEEE Xplore