RUBEN
HERADIO GIL
Catedrático de Universidad
DAVID JOSE
FERNANDEZ AMOROS
Profesor Titular Universidad
Publicacións nas que colabora con DAVID JOSE FERNANDEZ AMOROS (54)
2024
-
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
ACM International Conference Proceeding Series
2023
-
A Monte Carlo tree search conceptual framework for feature model analyses
Journal of Systems and Software, Vol. 195
-
Circuit Testing Based on Fuzzy Sampling with BDD Bases
Proceedings of the 56th Hawaii International Conference on System Sciences
-
Circuit Testing Based on Fuzzy Sampling with BDD Bases
Proceedings of the Annual Hawaii International Conference on System Sciences
2022
-
A Rule-Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples
Proceedings of the Annual Hawaii International Conference on System Sciences
-
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
-
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
Automated Software Engineering - ACM International Conference Proceeding Series
-
Uniform and scalable sampling of highly configurable systems
Empirical Software Engineering, Vol. 27, Núm. 2
2021
-
Inconsistency-Tolerating Guidance for Software Engineering Processes
Proceedings - International Conference on Software Engineering
-
Machine learning for software engineering: A bibliometric analysis from 2015 to 2019
Proceedings of the Annual Hawaii International Conference on System Sciences
-
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
-
SAT Instances for Testing Random Samplers' Uniformity
Zenodo
-
SAT Instances for Testing Random Samplers' Uniformity
Zenodo
-
SAT Instances for Testing SFpC Validity and Reliability
Zenodo
-
SAT Instances for Testing SFpC Validity and Reliability
Zenodo
-
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
-
Group decision-making based on artificial intelligence: A bibliometric analysis
Mathematics, Vol. 8, Núm. 9
-
Large Uniform Random SAT Samples
Zenodo
-
Large Uniform Random SAT Samples
Zenodo
-
Rough sets: A bibliometric analysis from 2014 to 2018
Proceedings of the Annual Hawaii International Conference on System Sciences