Generación automática de Oráculos de Prueba para APIs RESTful

Este directorio contiene el paquete de replicación del Trabajo de fin de Máster "Generación Automática de Oráculos de Prueba para APIs RESTful", realizado por Juan Carlos Alonso Valenzuela. En concreto, el directorio contiene los siguientes archivos:

- bugs_videos.zip: Vídeos que muestran la replicación de los bugs encontrados en sistemas reales.

- daikon_modified.zip: Versión de Daikon modificada empleada para la realización de la experimentación.

- evaluation.zip: Contiene varias hojas de cálculo con la clasificación de todos los invariantes generados como true positives, false positives o bugs. También contiene un report final de los resultados (Final report.xlsx).

- oas-instrumenter.zip: Instrumenter desarrollado. Este proyecto también contiene (dentro del directorio src/test/resources/evaluation) las especificaciones OAS de cada API, los archivos de configuración de RESTest de cada operación (incluyendo los diccionarios de datos usados), los casos de prueba en formato .csv, los invariantes detectados y los DeclsFiles y DtraceFiles.