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]
Abstract is missing.