Finding broken Linux configuration specifications by statically analyzing the Kconfig language. - Jeho Oh; Necip Fazil Yildiran; Julian Braha; Paul Gazzillo (ESEC/SIGSOFT FSE, 2021)

Static data-flow analysis for software product lines in C. - Philipp Dominik Schubert; Paul Gazzillo; Zach Patterson; Julian Braha; Fabian Schiebel; Ben Hermann; Shiyi Wei; Eric Bodden (Autom. Softw. Eng., 2022)