Timotej Kapus. Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints. PhD thesis, Imperial College London, UK, 2021. [doi]
@phdthesis{ethos-16544,
title = {Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints},
author = {Timotej Kapus},
year = {2021},
doi = {10.25560/91147},
url = {https://doi.org/10.25560/91147},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-16544},
cites = {0},
citedby = {0},
school = {Imperial College London, UK},
}