Timotej Kapus: Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints. Imperial College London, UK 2021