@article {5782, title = {Supporting Unit Test Generation via Automated Isolation}, journal = {Periodica Polytechnica, Electrical Engineering and Computer Science}, year = {2017}, month = {02/2017}, issn = {2064-5279}, doi = {10.3311/PPee.9768}, url = {https://pp.bme.hu/eecs/article/view/9768}, author = {Honfi, D{\'a}vid and Zolt{\'a}n Micskei} }