R

Regression-Verification Tasks

Linux Driver Revisions for Regression Verification (ESEC/FSE Evaluated Artifact Collection) https://www.sosy-lab.org/research/cpa-reuse/regression-benchmarks/