Bazylevych, R., and A. Franko. “Improving the Efficiency of Symbolic Execution by Clustering the Input Data Based on the Complexity of Test Generation”. Eastern-European Journal of Enterprise Technologies, vol. 4, no. 2 (124), Aug. 2023, pp. 17-25, doi:10.15587/1729-4061.2023.286160.