User-defined Sandbox Behavior for Dynamic Symbolic Execution

TitleUser-defined Sandbox Behavior for Dynamic Symbolic Execution
Publication TypeConference Paper
Year of Publication2017
AuthorsHonfi, D., and Micskei, Z.
Conference NameProceedings of the 24th PhD Mini-Symposium
Date Published03/2017
PublisherBudapest University of Technology and Economics, Department of Measurement and Information Systems
Conference LocationBudapest, Hungary
ISBN Number978-963-313-243-2
URLhttp://oszkdk.oszk.hu/DRJ/19248
DOI10.5281/zenodo.291898
PDF: