Program-Structure-Guided Approximation of Large Fault Spaces. - Oskar Pusz; Daniel Kiechle; Christian Dietrich 001; Daniel Lohmann (PRDC, 2019)