Paul Gazzillo. Kmax: finding all configurations of Kbuild makefiles statically. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 279-290, ACM, 2017. [doi]
@inproceedings{Gazzillo17,
title = {Kmax: finding all configurations of Kbuild makefiles statically},
author = {Paul Gazzillo},
year = {2017},
doi = {10.1145/3106237.3106283},
url = {http://doi.acm.org/10.1145/3106237.3106283},
researchr = {https://researchr.org/publication/Gazzillo17},
cites = {0},
citedby = {0},
pages = {279-290},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017},
editor = {Eric Bodden and Wilhelm Schäfer and Arie van Deursen and Andrea Zisman},
publisher = {ACM},
isbn = {978-1-4503-5105-8},
}