D. Honfi, Z. Micskei. "Automated isolation for white-box test generation", Information and Software Technology 125 (2020), presented at ESEM 2021.
White-box test generation is a technique used for automatically selecting test inputs using only the code under test. A challenge when applying them is handling invocations to external modules or dependencies in the code under test. In this paper, we present an automated approach addressing the external dependency challenge for white-box test generation. We implemented the approach in a ready-to-use tool using Microsoft Pex as a test generator, and evaluated it on 10 open-source projects from GitHub having more than 38.000 lines of code in total.