RUBEN
HERADIO GIL
Catedrático de Universidad
Jose Miguel
Horcas
Publications by the researcher in collaboration with Jose Miguel Horcas (5)
2025
-
Pragmatic random sampling of Kconfig-based systems: A unified approach
Journal of Systems and Software, Vol. 230
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
2023
-
A Monte Carlo tree search conceptual framework for feature model analyses
Journal of Systems and Software, Vol. 195
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