Publications (51) Publications de DAVID JOSE FERNANDEZ AMOROS Voir les données de recherche référencées.

2024

  1. Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool

    ACM International Conference Proceeding Series

  2. TOR y la libertad de expresión en la red

    La inteligencia artificial y el control algorítmico de los derechos fundamentales (Aranzadi), pp. 173-187

2023

  1. A Monte Carlo tree search conceptual framework for feature model analyses

    Journal of Systems and Software, Vol. 195

  2. Circuit Testing Based on Fuzzy Sampling with BDD Bases

    Proceedings of the 56th Hawaii International Conference on System Sciences

  3. Circuit Testing Based on Fuzzy Sampling with BDD Bases

    Proceedings of the Annual Hawaii International Conference on System Sciences

  4. FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models

    ACM International Conference Proceeding Series

2022

  1. 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

  2. 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

  3. Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

    Automated Software Engineering - ACM International Conference Proceeding Series

  4. Uniform and scalable sampling of highly configurable systems

    Empirical Software Engineering, Vol. 27, Núm. 2

2021

  1. Inconsistency-Tolerating Guidance for Software Engineering Processes

    Proceedings - International Conference on Software Engineering

  2. Machine learning for software engineering: A bibliometric analysis from 2015 to 2019

    Proceedings of the Annual Hawaii International Conference on System Sciences

  3. 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

  4. 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

  1. Group decision-making based on artificial intelligence: A bibliometric analysis

    Mathematics, Vol. 8, Núm. 9

  2. Rough sets: A bibliometric analysis from 2014 to 2018

    Proceedings of the Annual Hawaii International Conference on System Sciences

  3. Uniform and scalable SAT-sampling for configurable systems

    Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

  4. Using extended logical primitives for efficient BDD building

    Mathematics, Vol. 8, Núm. 8

2019

  1. A kconfig translation to logic with one-way validation system

    Systems and Software Product Lines Conference - ACM International Conference Proceeding Series

  2. A kconfig translation to logic with one-way validation system

    ACM International Conference Proceeding Series