BibTex format
@inproceedings{Kapus:2019:10.1145/3338906.3338936,
author = {Kapus, T and Cadar, C},
doi = {10.1145/3338906.3338936},
pages = {774--784},
publisher = {ACM},
title = {A segmented memory model for symbolic execution},
url = {http://dx.doi.org/10.1145/3338906.3338936},
year = {2019}
}