An Exploration of Static Variability Bug Detection Through Desugaring
Patterson, Zach, Austin Mordahl, Paul Gazzillo, Shiyi Wei · Zenodo (CERN European Organization for Nuclear Research) · 2023
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.