BAZYLEVYCH, R.; FRANKO, A. Improving the efficiency of symbolic execution by clustering the input data based on the complexity of test generation . Eastern-European Journal of Enterprise Technologies, [S. l.], v. 4, n. 2 (124), p. 17–25, 2023. DOI: 10.15587/1729-4061.2023.286160. Disponível em: https://journals.uran.ua/eejet/article/view/286160. Acesso em: 21 may. 2024.