Login / Signup
Finding broken Linux configuration specifications by statically analyzing the Kconfig language.
Jeho Oh
Necip Fazil Yildiran
Julian Braha
Paul Gazzillo
Published in:
ESEC/SIGSOFT FSE (2021)
Keyphrases
</>
specification language
operational semantics
open source
operating system
formal language
natural language
programming language
formal specification
language processing
high level
database applications
optimal configuration
target language
object oriented programming
database
software engineering
databases