TracerX: Dynamic Symbolic Execution with Interpolation
Rasool Maghareh from National University of Singapore at the 2nd International KLEE Workshop on Symbolic Execution
KLEE Workshop 2021: https://srg.doc.ic.ac.uk/klee21/
Slides: https://srg.doc.ic.ac.uk/klee21/talks...