Safety-Critical Software - Quantification of Test Results | IEEE Conference Publication | IEEE Xplore