PHAN, N. T.; HÙNG, N. V. Automatic functions exclusion in patch testing using chopped symbolic execution. Journal of Science and Technology on Information security, [S. l.], v. 2, n. 16, p. 24-30, 2023. DOI: 10.54654/isj.v1i16.918. Disponível em: https://isj.vn/index.php/journal_STIS/article/view/918. Acesso em: 23 mar. 2025.