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)

1. Download and install 7-Zip: https://www.7-zip.org/
2. Place all the files (.z01, .z02, ..., .z05, and .zip) in the same folder.
3. Right-click on ReplicationPackage.zip.
4. 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

1. Download and install WinRAR: https://www.rarlab.com/
2. Ensure all parts are in the same directory.
3. Right-click on ReplicationPackage.zip.
4. Select Extract Here or Extract to ReplicationPackage\.

For Linux Users

1. Make sure all the parts are in the same directory.
2. 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).