Ziyuan Wang, Yanliang Zhang, Peng Gao, Shiyong Shuang: Comparing Fault Detection Efficiencies of Adaptive Random Testing and Greedy Combinatorial Testing for Boolean-Specifications. Int. J. Perform. Eng. 17(1): 114-122 (2021)