HONFI, D.; MICSKEI, Z. Supporting Unit Test Generation via Automated Isolation. Periodica Polytechnica Electrical Engineering and Computer Science, v. 61, n. 2, p. 116-131, (2017).