Phan, N. T.; Hùng, N. V. Automatic Functions Exclusion in Patch Testing Using Chopped Symbolic Execution. ISJ 2023, 2, 24-30.