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.

本数据集用于连续验证技术的评估，基于文献中的三类真实分布式系统生成。数据集包含三类分布式系统的初始基准数据集、用于生成该验证数据集的代码，以及相关发表论文中所使用的代码。