Phan, N. T., & Hùng, N. V. (2023). Automatic functions exclusion in patch testing using chopped symbolic execution. Journal of Science and Technology on Information Security, 2(16), 24-30. https://doi.org/10.54654/isj.v1i16.918