Software safety test case design method based on Fuzzy Fault Tree Analysis. - Shiran Cai; Wei Zhang (ICSED, 2021)