遇见数据集

[Supplementary material] Test Oracle Generation for REST APIs

收藏
Zenodo2025-06-10 更新2026-05-26 收录
官方服务:

资源简介:

This is the supplementary material of the paper entitled Test Oracle Generation for REST APIs To use the most up-to-date version of AGORA+, please refer to the official GitHub repository: https://github.com/isa-group/Beet The Ubuntu Virtual Machine containing all the projects configured can be found here: https://figshare.com/articles/dataset/AGORA_Virtual_Machine/28266926 How to Open the Replication Package (Multi-part ZIP Archive) The replication package is distributed as a multi-part ZIP archive. This is a standard way to split a large ZIP file into smaller chunks for easier uploading and downloading. The archive consists of the following files: ReplicationPackage.z01 ReplicationPackage.z02 ReplicationPackage.z03 ReplicationPackage.z04 ReplicationPackage.z05 ReplicationPackage.zip These files must be in the same folder before unzipping. Below are step-by-step instructions for Windows and Linux users. For Windows Users Option 1: Using 7-Zip (Recommended) Download and install 7-Zip: https://www.7-zip.org/ Place all the files (.z01, .z02, ..., .z05, and .zip) in the same folder. Right-click on ReplicationPackage.zip. Choose 7-Zip -> Extract Here or Extract to ReplicationPackage\. 7-Zip will automatically combine the parts and extract the full content. Option 2: Using WinRAR Download and install WinRAR: https://www.rarlab.com/ Ensure all parts are in the same directory. Right-click on ReplicationPackage.zip. Select Extract Here or Extract to ReplicationPackage\. For Linux Users Make sure all the parts are in the same directory. Install p7zip if not already installed: sudo apt install p7zip-full 3. Navigate to the folder containing the files: cd /path/to/your/downloaded/files 4. Run the following command: 7z x ReplicationPackage.zip This will extract the full archive by automatically reading the .z01, .z02, etc. NOTES Do not try to unzip the .z01, .z02, etc., individually. Only unzip the main .zip file (the one with the .zip extension). If you see an error like "not a valid zip file", it usually means: Not all parts were downloaded correctly. The files are not in the same folder. The file names were modified (e.g., by the browser).

提供机构:
Zenodo
创建时间:
2024-06-23
二维码
社区交流群
二维码
科研交流群
商业服务