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

Adam Krafczyk, Sascha El-Sharkawy, Klaus Schmid

Browse the full SPLC paper archive.