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

Resum

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.