An Exploration of Static Variability Bug Detection Through Desugaring

• DOI: 10.5281/zenodo.7857523
• Publication Date: 2023-04-24
• Authors: Zach Patterson; Austin Mordahl; Paul Gazzillo; Shiyi Wei

All data and tools used to evaluate Sugarlyzer (available here). KGenerate is all the files used to run the Sugarlyzer experiment, as well as KGenerate itself (requires installation of KMax). SugarlyzerResults are the alarm data used in all our evaluations and a script used to automatically compare them. SugarlyzerTiming is the log results from the experiments used to compile timing data, there are two runAll bash scripts which will compile all results. All scripts were built and run with Python 3.10.