Phan NT, Hùng NV. Automatic functions exclusion in patch testing using chopped symbolic execution. ISJ [Internet]. 2023Feb.13 [cited 2025Mar.23];2(16):24-30. Available from: https://isj.vn/index.php/journal_STIS/article/view/918