Automated isolation for white-box test generation. - Honfi, Dávid; Micskei, Zoltán (Information & Software Technology, 2020)