• Ponencia
      Icon

      Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making 

      Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Heradio, Ruben; Fernández Amorós, David; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2021)
      The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, ...
    • Ponencia
      Icon

      Uniform and scalable SAT-sampling for configurable systems 

      Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2020)
      Several relevant analyses on configurable software systems remain intractable because they require examining vast and ...