Combining static analysis error traces with dynamic symbolic execution (experience paper) - Busse, F; Gharat, P; Cadar, C; Donaldson, A (ACM, 2022)