Phan, N. T., and N. V. Hùng. “Automatic Functions Exclusion in Patch Testing Using Chopped Symbolic Execution”. Journal of Science and Technology on Information Security, vol. 2, no. 16, Feb. 2023, pp. 24-30, doi:10.54654/isj.v1i16.918.