On Improvements of the Error Detection Capability in Concolic Testing for Java Projects. - Hoang-Viet Tran; Ngoc Anh Quan Tran; Ngoc Huy Nguyen; Do Thi Hong Van; Lai Vu Thu Nguyet; Pham Ngoc Hung (KSE, 2024)