TY - RPRT TI - Automated Isolation for White-box Test Generation AU - Dávid Honfi AU - Zoltán Micskei PY - 2019 DO - 10.1016/j.infsof.2020.106319 UR - https://arxiv.org/abs/1910.02513 ID - 1910.02513 ER -