Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing (Master’s Thesis Summary) | Synapse