Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

This repository is organized in two main folders:

1. randconfig+ includes the source code of our tool randconfig+, which improves the randomness and correctness of the conf tool (a built-in Linux kernel tool for generating random samples of kernel configurations). It has two subfolders:
    -   source: includes the source code of randconfig+.

    -   bin: includes the compiled version of randconfig+.

2. experimental_validation includes the experimental validation of randconfig+ reported in the paper.
    -   systems: includes the 10 Linux Kernel versions analyzed in the paper.

    -   scripts_for_sample_generation: Bash shell scripts to generate the data.

    -   data: includes the following data generated by the experimental validation:

        +  Generated samples (subfolder configuration_samples). The samples are available in two formats: CSV and Apache Arrow.

        +   Entropies and number of distinct values per configuration option.

        +   Data regarding the correctness of the samples and the time spent to generate them (subfolder correctness_and_runtime).

    -   statistical_analysis: R scripts to perform the statistical analysis of the data (subfolder statistical_analysis).

    -   plots: graphs produced from the data statistical analysis.