Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
This program is tentative and subject to change.
The rising popularity of the microservice architectural style has led to a growing demand for automated testing approaches tailored to these systems. EvoMaster is a state-of-the-art tool that uses Evolutionary Algorithms (EAs) to automatically generate test cases for microservices’ REST APIs. One limitation of these EAs is the use of unit-level search heuristics, such as branch distances, which focus on fine-grained code coverage and may not effectively capture the complex, interconnected behaviors characteristic of system-level testing. To address this limitation, we propose a new search heuristic (MISH) that uses real-time automaton learning to guide the test case generation process. We capture the sequential call patterns exhibited by a test case by learning an automaton from the stream of log events outputted by different microservices within the same system. Therefore, MISH learns a representation of the systemwide behavior, allowing us to define the fitness of a test case based on the path it traverses within the inferred automaton. We empirically evaluate MISH’s effectiveness on six real-world benchmark microservice applications and compare it against a state-of-the-art technique, MOSA, for testing REST APIs. Our evaluation shows promising results for using MISH to guide the automated test case generation within EvoMaster.
This program is tentative and subject to change.
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 17:30 | |||
16:00 30mFull-paper | Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic AST 2025 Clinton Cao Delft University of Technology, Annibale Panichella Delft University of Technology, Sicco Verwer TU Delft Pre-print | ||
16:30 30mFull-paper | Automated Test Generation for Integration Testing AST 2025 Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca | ||
17:00 30mFull-paper | Automated Test Generation from Program Documentation Encoded in Code Comments AST 2025 Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca |