Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen. Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports, 4(10):98-114, 2014. [doi]
@article{CadarGSS14,
title = {Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)},
author = {Cristian Cadar and Vijay Ganesh and Raimondas Sasnauskas and Koushik Sen},
year = {2014},
doi = {10.4230/DagRep.4.10.98},
url = {http://dx.doi.org/10.4230/DagRep.4.10.98},
researchr = {https://researchr.org/publication/CadarGSS14},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {4},
number = {10},
pages = {98-114},
}