D. Honfi and Z. Micskei, “Supporting Unit Test Generation via Automated Isolation”, Period. Polytech. Elec. Eng. Comp. Sci., vol. 61, no. 2, pp. 116–131, Jan. 2017.