Fail-Safe Test Generation of Safety Critical Systems