@inproceedings {5567,
	title = {Generating Unit Isolation Environment Using Symbolic Execution},
	booktitle = {Proceedings of the 23rd PhD Mini-Symposium},
	year = {2016},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	address = {Budapest},
	isbn = {978-963-313-220-3},
	url = {http://hdl.handle.net/10890/1546},
	author = {Honfi, D{\'a}vid and Zolt{\'a}n Micskei}
}
