PDF:
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
| Title | Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics |
| Publication Type | Conference Proceedings |
| Year of Publication | 2018 |
| Authors | Honfi, D., and Micskei, Z. |
| Conference Name | Proceedings of the 25th PhD Mini-Symposium |
| Series Title | Proceedings of the 25th PhD Mini-Symposium |
| Pagination | 36-39. |
| Date Published | 02/2018 |
| Conference Location | Budapest, Hungary |
| ISBN | 978-963-313-285-2 |
| DOI | http://dx.doi.org/10.5281/zenodo.1219234 |
| Refereed Designation | Refereed |
