ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel. - Patrick Franz; Thorsten Berger; Ibrahim Fayaz; Sarah Nadi; Evgeny Groshev (ICSE (SEIP), 2021)