Juan C. Alonso Alberto Martin-Lopez Sergio Segura Gabriele Bavota Antonio Ruiz-Cortés SATORI: Static Test Oracle Generation for REST APIs. 2025 August abs/2508.16318 CoRR https://doi.org/10.48550/arXiv.2508.16318 db/journals/corr/corr2508.html#abs-2508-16318 streams/journals/corr