Publicaciones

Durante el proyecto

  1. Fernandez-Amoros, D., Heradio, R., Horcas Aguilera, J.M., Galindo, J.A., Benavides, D., Fuentes, L. Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. In ACM International Systems and Software Product Line Conference (SPLC), 2024, CORE B.
  2. Fernandez-Amoros, D., Heradio, R., Horcas Aguilera, J.M., Galindo, J.A., Benavides, D., Fuentes, L. Pragmatic Random Sampling of Kconfig-Based Systems: A Unified Approach. Journal of Systems and Software, 2025, Q1 in cat. COMPUTER SCIENCE, SOFTWARE ENGINEERING
  3. Heradio, R. Presentación (Journal First) del artículo: Finding Near-Optimal Configurations in Colossal Spaces with Statistical Guarantees. Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024) .

Previas al comienzo del proyecto

  1. Oh, J., Batory, D., Heradio, R. Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees. ACM Transactions on Software Engineering and Methodology, 33(1), 2023, Q1 in cat. COMPUTER SCIENCE, SOFTWARE ENGINEERING.
  2. Fernandez-Amoros, D. , Heradio, R., C. Mayr-Dorn, and A. Egyed. Scalable Sampling of Highly- Configurable Systems: Generating Random Instances of the Linux Kernel. In IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), Oakland Center, MI, USA, 2022, GGS Class 2.
  3. Heradio, R., Fernandez-Amoros, D., Galindo, J.A., Benavides, D., and Batory, D. Uniform and scalable sampling of highly configurable systems. Empirical Software Engineering, 27(2), 2022, Q1 in cat. COMPUTER SCIENCE, SOFTWARE ENGINEERING.
  4. Heradio, R., Fernandez-Amoros, D., Galindo, J.A., and Benavides, D. Uniform and scalable satsampling for configurable systems. In ACM Int. Systems and Software Product Line Conf. (SPLC), Montreal, Canada, 2020, GGS Class 2.
  5. Fernandez-Amoros, D., Heradio, R., Mayr-Dorn, C., and Egyed, A. A Kconfig translation to logic with one-way validation system. In ACM Int. Systems and Software Product Line Conf. (SPLC), Paris, France, 2019, GGS Class 2.
  6. Heradio, R., Fernandez-Amoros, D., Mayr-Dorn, C., and Egyed, A. Supporting the statistical analysis of variability models. In Int. Conf. on Software Engineering (ICSE), Montreal, Canada, 2019, GGS Class 1.