Janota, Mikolas; Botterweck, Goetz; Grigore, Radu; Marques-Silva, Joao
(Springer-Verlag, 2010)
When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool ...