Jose Miguel
Horcas
Publicaciones en las que colabora con Jose Miguel Horcas (7)
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
-
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
ACM International Conference Proceeding Series
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