N. T. Phan and N. V. Hùng, “Automatic functions exclusion in patch testing using chopped symbolic execution”, ISJ, vol. 2, no. 16, pp. 24-30, Feb. 2023.