ESEC/FSE 2022 SRC - Automated Generation of Test Oracles for RESTful APIs

Replication package of the paper entitled "Automated Generation of Test Oracles for RESTful APIs". Specifically, the directory contains the following files:

- bugs_videos.zip: Videos showing the replication of bugs found in real systems.

- daikon_modified.zip: Modified version of Daikon used for the experimentation.

- evaluation.zip: Contains several spreadsheets with the classification of all the generated invariants as true positives, false positives or bugs. It also contains a final report of the results (Final report.xlsx).

- oas-instrumenter.zip: Instrumenter implemented. This project also contains (inside the src/test/resources/evaluation directory) the OAS specifications for each API, the RESTest configuration files for each operation (including the data dictionaries used), the test cases in .csv format, the detected invariants and the DeclsFiles and DtraceFiles.