Phan, N.T. and 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 (Feb. 2023), 24-30. DOI:https://doi.org/10.54654/isj.v1i16.918.