@proceedings {6534,
	title = {Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics},
	journal = {Proceedings of the 25th PhD Mini-Symposium},
	year = {2018},
	month = {02/2018},
	pages = {36-39.},
	address = {Budapest, Hungary},
	issn = {978-963-313-285-2},
	doi = {http://dx.doi.org/10.5281/zenodo.1219234},
	author = {Honfi, D{\'a}vid and Zolt{\'a}n Micskei}
}
