@inproceedings {5991,
	title = {User-defined Sandbox Behavior for Dynamic Symbolic Execution},
	booktitle = {Proceedings of the 24th PhD Mini-Symposium},
	year = {2017},
	month = {03/2017},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	address = {Budapest, Hungary},
	isbn = {978-963-313-243-2},
	doi = {10.5281/zenodo.291898},
	url = {http://oszkdk.oszk.hu/DRJ/19248},
	author = {Honfi, D{\'a}vid and Zolt{\'a}n Micskei}
}
