Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics

CímTowards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics
Közlemény típusaConference Proceedings
Kiadás éve2018
SzerzőkHonfi, D., and Micskei, Z.
Konferencia neveProceedings of the 25th PhD Mini-Symposium
SorozatcímProceedings of the 25th PhD Mini-Symposium
Pagination36-39.
Kiadás dátuma02/2018
Konferencia helyszíneBudapest, Hungary
ISBN978-963-313-285-2
DOIhttp://dx.doi.org/10.5281/zenodo.1219234
Refereed DesignationRefereed
PDF: