Trevor Hansen, Peter Schachte, Harald Søndergaard. State Joining and Splitting for the Symbolic Execution of Binaries. In Saddek Bensalem, Doron Peled, editors, Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Volume 5779 of Lecture Notes in Computer Science, pages 76-92, Springer, 2009. [doi]
@inproceedings{HansenSS09,
title = {State Joining and Splitting for the Symbolic Execution of Binaries},
author = {Trevor Hansen and Peter Schachte and Harald Søndergaard},
year = {2009},
doi = {10.1007/978-3-642-04694-0_6},
url = {http://dx.doi.org/10.1007/978-3-642-04694-0_6},
researchr = {https://researchr.org/publication/HansenSS09},
cites = {0},
citedby = {0},
pages = {76-92},
booktitle = {Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers},
editor = {Saddek Bensalem and Doron Peled},
volume = {5779},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04693-3},
}