31 citations · 46 across the 8 of their papers we have counts for
8 papers
Fuzzing REST APIs in Industry: Necessary Features and Open Problems
Andrea Arcuri, Alexander Poth, Olsi Rrjolli +2
REST APIs are widely used in industry, in all different kinds of domains. An example is Volkswagen AG, a German automobile manufacturer. Established testing approaches for REST API…
Generating REST API Tests With Descriptive Names
Philip Garrett, Juan P. Galeotti, Andrea Arcuri +2
Automated test generation has become a key technique for ensuring software quality, particularly in modern API-based architectures. However, automatically generated test cases are…
Search-Based Fuzzing For RESTful APIs That Use MongoDB
Hernan Ghianni, Man Zhang, Juan P. Galeotti +1
In RESTful APIs, interactions with a database are a common and crucial aspect. When generating whitebox tests, it is essential to consider the database's state (i.e., the data cont…
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
Andrea Arcuri, Man Zhang, Juan Pablo Galeotti
Due to its importance and widespread use in industry, automated testing of REST APIs has attracted major interest from the research community in the last few years. However, most o…
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators
Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti +4
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various language…
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Juan P. Galeotti, Carlo A. Furia, Eva May +2
Verifiers that can prove programs correct against their full functional specification require, for programs with loops, additional annotations in the form of loop invariants---prop…
The DynAlloy Visualizer
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language de…
On Verifying Resource Contracts using Code Contracts
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky +2
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage speci…