R. Bazylevych and A. Franko, “Improving the efficiency of symbolic execution by clustering the input data based on the complexity of test generation ”, EEJET, vol. 4, no. 2 (124), pp. 17–25, Aug. 2023.