Phan, Ninh Thái, and Nguyễn Việt Hùng. 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.