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

<div><strong>Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"</strong></div> <div>&nbsp;</div> <div> <div> <div>This repository is organized in two main folders:</div> <br> <div>1. <strong>randconfig+</strong> 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:</div> &nbsp; &nbsp; -&nbsp; &nbsp;<strong>source</strong>: includes the source code of randconfig+. <div>&nbsp; &nbsp; -&nbsp; &nbsp;<strong>bin</strong>: includes the compiled version of randconfig+.</div> <br> <div>2.&nbsp;<strong>experimental_validation</strong> includes the experimental validation of randconfig+ reported in the paper.</div> &nbsp; &nbsp; -&nbsp; &nbsp;<strong>systems</strong>: includes the 10 Linux Kernel versions analyzed in the paper. <div>&nbsp; &nbsp; -&nbsp; &nbsp;<strong>scripts_for_sample_generation</strong>: Bash shell scripts to generate the data.</div> <div>&nbsp; &nbsp; -&nbsp; &nbsp;<strong>data</strong>: includes the following data generated by the experimental validation:</div> <div>&nbsp; &nbsp; &nbsp; &nbsp; +&nbsp; Generated samples (subfolder configuration_samples). The samples are available in two formats: CSV and <a href="https://r4ds.hadley.nz/arrow">Apache Arrow</a>.</div> <div>&nbsp; &nbsp; &nbsp; &nbsp; +&nbsp; &nbsp;Entropies and number of distinct values per configuration option.</div> <div>&nbsp; &nbsp; &nbsp; &nbsp; +&nbsp; &nbsp;Data regarding the correctness of the samples and the time spent to generate them (subfolder correctness_and_runtime).</div> <div>&nbsp; &nbsp; -&nbsp; &nbsp;<strong>statistical_analysis</strong>: R scripts to perform the statistical analysis of the data (subfolder statistical_analysis).</div> <div>&nbsp; &nbsp; -&nbsp; &nbsp;<strong>plots</strong>: graphs produced from the data statistical analysis.</div> </div> </div>