Finding broken Linux configuration specifications by statically analyzing the Kconfig language

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]

Authors

Jeho Oh

This author has not been identified. Look up 'Jeho Oh' in Google

Necip Fazil Yildiran

This author has not been identified. Look up 'Necip Fazil Yildiran' in Google

Julian Braha

This author has not been identified. Look up 'Julian Braha' in Google

Paul Gazzillo

This author has not been identified. Look up 'Paul Gazzillo' in Google