Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. Efficient State Merging in Symbolic Execution. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 45-46, GI, 2014.
@inproceedings{KuznetsovKBC14,
title = {Efficient State Merging in Symbolic Execution},
author = {Volodymyr Kuznetsov and Johannes Kinder and Stefan Bucur and George Candea},
year = {2014},
researchr = {https://researchr.org/publication/KuznetsovKBC14},
cites = {0},
citedby = {0},
pages = {45-46},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland},
editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
volume = {227},
series = {LNI},
publisher = {GI},
isbn = {978-388579-621-3},
}