Min Yu, Ziyuan Wang, Feiyan She, Yuanchao Qi: A Revisit of Fault-Detecting Probability of Combinatorial Testing for Boolean-Specifications (P). SEKE 2018: 711-710