BibTex format
@inproceedings{Soria:2018:10.1145/3238147.3238179,
author = {Soria, Dustmann O and Klaus, W and Cadar, C},
doi = {10.1145/3238147.3238179},
pages = {430--440},
title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution},
url = {http://dx.doi.org/10.1145/3238147.3238179},
year = {2018}
}