Replication data for "Continuous Certification of Non-Functional Properties Across System Changes"

Dataset for the evaluation of continuous certification techniques, generated starting from three real-world distributed systems in literature. The dataset contains the starting-point datasets of the three distributed systems, the code used to generate the certification dataset, as well as the code used in the related publication.