David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés. Using Java CSP Solvers in the Automated Analyses of Feature Models. In Ralf Lämmel, João Saraiva, Joost Visser, editors, Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers. Volume 4143 of Lecture Notes in Computer Science, pages 399-408, Springer, 2006. [doi]
Abstract is missing.