Bazylevych R, Franko A. Improving the efficiency of symbolic execution by clustering the input data based on the complexity of test generation . EEJET [Internet]. 2023Aug.31 [cited 2024Jul.27];4(2 (124):17-25. Available from: https://journals.uran.ua/eejet/article/view/286160