Bazylevych, R.; Franko, A. Improving the Efficiency of Symbolic Execution by Clustering the Input Data Based on the Complexity of Test Generation. EEJET 2023, 4, 17-25.