RUBEN
HERADIO GIL
Catedrático de Universidad
José
Galindo Gómez
Publikationen, an denen er mitarbeitet José Galindo Gómez (10)
2024
-
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
ACM International Conference Proceeding Series
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
2023
-
A Monte Carlo tree search conceptual framework for feature model analyses
Journal of Systems and Software, Vol. 195
2022
-
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
-
Uniform and scalable sampling of highly configurable systems
Empirical Software Engineering, Vol. 27, Núm. 2
2021
-
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
-
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
-
Uniform and scalable SAT-sampling for configurable systems
Systems and Software Product Lines Conference - ACM International Conference Proceeding Series