Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer. Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 155-166, ACM, 2018. [doi]
Abstract is missing.