Liebig, Rhein, Kästner, Apel, Dörre, Lengauer, 2013. Scalable analysis of variable software, in: . ACM Press.. https://doi.org/10.1145/2491411.2491437