EqBench

均衡器 EqBench是等效的和非等效的Java和C程序的集合，目的是推进软件工程研究。它统一并扩展了早期工作中使用的基准，从而贡献了135个等效案例和113个非等效案例（我们在C和Java中均捕获），以促进适用于不同的等效性检查技术。 数据表示 数据集的结构如下所示： 该归档文件由18个主要目录组成，分别对应于18个基准。在每个基准测试目录中，每个程序都有一个文件夹。由于每个程序都有等效对和非等效对，因此我们在每个程序目录中提供了两个子文件夹，即Eq和Neq 。在每个程序对子目录中，有四个版本：两个用Java编写（oldV.java和newV.java） ，两个用C编写（oldV.c和newV.c） 。 对于每个Eq和Neq版本，我们还提供一个名为Desc.json的文件，其中包含以JSON格式编写的元数据。 该文件的结构如下。 基准名称：程序所属基准的名称， 程序名称：程序名称， L