Black-box approach for software testing based on fat-propertyMengqing TanLi, Yan Jiang, Xiang Wang and Rushu PengMATEC Web Conf., 309 (2020) 02008DOI: https://doi.org/10.1051/matecconf/202030902008