• Ponencia
      Icon

      Automated Diagnosis of Feature Model Configurations 

      White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011)
      Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
    • Ponencia
      Icon

      Automated Diagnosis of Product-line Configuration Errors in Feature Models 

      White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008)
      Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
    • Ponencia
      Icon

      Automated Reasoning for Multi-step Feature Model Configuration Problems 

      White, Jules; Dougherty, Brian; Schmidt, Douglas C.; Benavides Cuevas, David Felipe (ACM, 2009)
      The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ...