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), pp. 24-30. doi: 10.54654/isj.v1i16.918.