PDF:
User-defined Sandbox Behavior for Dynamic Symbolic Execution
| Title | User-defined Sandbox Behavior for Dynamic Symbolic Execution |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Honfi, D., and Micskei, Z. |
| Conference Name | Proceedings of the 24th PhD Mini-Symposium |
| Date Published | 03/2017 |
| Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
| Conference Location | Budapest, Hungary |
| ISBN Number | 978-963-313-243-2 |
| URL | http://oszkdk.oszk.hu/DRJ/19248 |
| DOI | 10.5281/zenodo.291898 |
