10.5281/zenodo.4885001
https://zenodo.org/records/4885001
oai:zenodo.org:4885001
Oh, Jeho
Jeho
Oh
University of Texas at Austin
Yıldıran, Necip Fazıl
Necip Fazıl
Yıldıran
University of Central Florida
Braha, Julian
Julian
Braha
University of Central Florida
Gazzillo, Paul
Paul
Gazzillo
University of Central Florida
Artifact from "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"
Zenodo
2021
2021-05-31
10.5281/zenodo.4563310
10.1145/3468264.3468578
10.5281/zenodo.4885000
Creative Commons Attribution 4.0 International
Artifact from "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"