Reverse engineering code dependencies: converting integer-based variability to propositional logic

Adam Krafczyk, Sascha El-Sharkawy, Klaus Schmid. Reverse engineering code dependencies: converting integer-based variability to propositional logic. In Philippe Collet, Jianmei Guo, Jabier Martinez, Christoph Seidl, Julia Rubin, Oscar Diaz, Mukelabai Mukelabai, Thorsten Berger, editors, Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. pages 34-41, ACM, 2018. [doi]

@inproceedings{KrafczykES18,
  title = {Reverse engineering code dependencies: converting integer-based variability to propositional logic},
  author = {Adam Krafczyk and Sascha El-Sharkawy and Klaus Schmid},
  year = {2018},
  doi = {10.1145/3236405.3237202},
  url = {https://doi.org/10.1145/3236405.3237202},
  researchr = {https://researchr.org/publication/KrafczykES18},
  cites = {0},
  citedby = {0},
  pages = {34-41},
  booktitle = {Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018},
  editor = {Philippe Collet and Jianmei Guo and Jabier Martinez and Christoph Seidl and Julia Rubin and Oscar Diaz and Mukelabai Mukelabai and Thorsten Berger},
  publisher = {ACM},
}