Timotej Kapus. Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints. PhD thesis, Imperial College London, UK, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.