Publicaciones en las que colabora con David Benavides (12)

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. Product Optimization in Stepwise Design

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 63-81

  3. 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