Projects | Juan Carlos Alonso

OKAMI

Fri, 22 Aug 2025 00:00:00 +0000

The OKAMI (Oracle Knowledge of API Methods for Innovation) dataset provides the manually annotated ground truth of 10,645 unary test oracles from 1,816 response fields across 17 operations of 12 industrial REST APIs; OKAMI was created to serve as a reliable benchmark for evaluating techniques for automated test oracle generation.

PostmanAssertify

Tue, 25 Mar 2025 00:00:00 +0000

PostmanAssertify is a tool for the automated generation of test assertions for REST API testing. PostmanAssertify takes as input the OpenAPI Specification (OAS) of the API under test and a CSV containing the set of confirmed invariants generated by AGORA+ and returns a Postman collection that includes a sample API request for each status code of the API operations under test and (attached to each request) all the invariants as executable assertions.

Beet

Sat, 01 Jul 2023 00:00:00 +0000

Beet is a Daikon front-end (also known as instrumenter) that converts any OpenAPI specification and a collection of API requests (and responses) into a format processable by the Daikon invariant detector; Beet is one of the core components of AGORA+, an approach for the Automated Generation of test Oracles for REST APIs through the detection of invariants (properties of the output that should always hold).