Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems. - Tomasz Kuchta; Bartosz Zator (ASE, 2022)