Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo. Finding broken Linux configuration specifications by statically analyzing the Kconfig language. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 893-905, ACM, 2021. [doi]
Abstract is missing.