Phan, Ninh Thái, and Nguyễn Việt Hùng. “Automatic Functions Exclusion in Patch Testing Using Chopped Symbolic Execution”. Journal of Science and Technology on Information security 2, no. 16 (February 13, 2023): 24-30. Accessed March 23, 2025. https://isj.vn/index.php/journal_STIS/article/view/918.