Thomas Ball, Jakub Daniel. Deconstructing Dynamic Symbolic Execution. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 26-41, IOS Press, 2015. [doi]
@incollection{BallD15,
title = {Deconstructing Dynamic Symbolic Execution},
author = {Thomas Ball and Jakub Daniel},
year = {2015},
doi = {10.3233/978-1-61499-495-4-26},
url = {http://dx.doi.org/10.3233/978-1-61499-495-4-26},
researchr = {https://researchr.org/publication/BallD15},
cites = {0},
citedby = {0},
pages = {26-41},
booktitle = {Dependable Software Systems Engineering},
editor = {Maximilian Irlbeck and Doron Peled and Alexander Pretschner},
volume = {40},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
publisher = {IOS Press},
isbn = {978-1-61499-495-4},
}