Bazylevych, R. and Franko, A. (2023) “Improving the efficiency of symbolic execution by clustering the input data based on the complexity of test generation ”, Eastern-European Journal of Enterprise Technologies, 4(2 (124), pp. 17–25. doi: 10.15587/1729-4061.2023.286160.