This repository contains all the artifacts related to our ASE 2021 paper, "SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools".
We have made a virtual machine available at https://drive.google.com/file/d/1APJpq0V7g8s5Y5S-pTGgbfFe3lIVGvuV/view. We highly recommend reviewers use this virtual machine. The username is satune, and the password is 123.
The SATune directory contains the source code of the autotuning tool, SATune.
The experiments directory contain all the artifacts from the empirical analysis including the datasets for training.
Please email us at ukoc@cs.umd.edu or austin.mordahl@utdallas.edu if you have any question.
If you found bug(s), please report it/them using "GitHub Issues".