Publicaciones en las que colabora con David Benavides (11)

2024

  1. Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool

    ACM International Conference Proceeding Series

  2. Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

    Zenodo

  3. Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

    Zenodo

  4. Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

    Zenodo

2023

  1. A Monte Carlo tree search conceptual framework for feature model analyses

    Journal of Systems and Software, Vol. 195

  2. FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models

    ACM International Conference Proceeding Series

2022

  1. Correction to: Uniform and scalable sampling of highly configurable systems (Empirical Software Engineering, (2022), 27, 2, (44), 10.1007/s10664-021-10102-5)

    Empirical Software Engineering

  2. Uniform and scalable sampling of highly configurable systems

    Empirical Software Engineering, Vol. 27, Núm. 2

2021

  1. Monte Carlo tree search for feature model analyses: A general framework for decision-making

    Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

  2. Uniform and Scalable SAT-Sampling for Configurable Systems

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

2020

  1. Uniform and scalable SAT-sampling for configurable systems

    Systems and Software Product Lines Conference - ACM International Conference Proceeding Series