PDF:
Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
Cím | Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics |
Közlemény típusa | Conference Proceedings |
Kiadás éve | 2018 |
Szerzők | Honfi, D., and Micskei, Z. |
Konferencia neve | Proceedings of the 25th PhD Mini-Symposium |
Sorozatcím | Proceedings of the 25th PhD Mini-Symposium |
Pagination | 36-39. |
Kiadás dátuma | 02/2018 |
Konferencia helyszíne | Budapest, Hungary |
ISBN | 978-963-313-285-2 |
DOI | http://dx.doi.org/10.5281/zenodo.1219234 |
Refereed Designation | Refereed |