TY - Int J Performability Eng A1 - Ziyuan Wang, Xueyao Li, Yang Li, and Yuqing Dai T1 - Comparing Minimal Failure-Causing Schema and Probabilistic Failure-Causing Schema on Boolean Specifications Y1 - 2019-10-20 JF - International Journal of Performability Engineering JO - Int J Performability Eng SP - 2709 EP - 2717 VL - 15 IS - 10 UR - https://www.ijpe-online.com N1 - 10.23940/ijpe.19.10.p17.27092717 ER -