Parameterized Search Heuristic Prediction for Concolic Execution. - Farnoushsadat Nilizadeh; Hamid Dashtbani; Maryam Mouzarani (APSEC, 2023)