Publications in collaboration with researchers from Universidad de Málaga (2)

2025

  1. Pragmatic random sampling of Kconfig-based systems: A unified approach

    Journal of Systems and Software, Vol. 230

2024

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

    ACM International Conference Proceeding Series