Honfi, D., Micskei, Z. “Supporting Unit Test Generation via Automated Isolation”, Periodica Polytechnica Electrical Engineering and Computer Science, 61(2), pp. 116–131, 2017. https://doi.org/10.3311/PPee.9768