Designing generic safety test cases for airborne software | IEEE Conference Publication | IEEE Xplore