Bazylevych, Roman, and Andrii 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 4, no. 2 (124) (August 31, 2023): 17–25. Accessed November 23, 2024. https://journals.uran.ua/eejet/article/view/286160.