AST 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Mon 28 Apr 2025 14:00 - 14:30 at 211 - Session 2: Test Generation

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.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 2: Test GenerationAST 2025 at 211

Session chair: Christof Budnik

14:00
30m
Full-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
14:30
30m
Full-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
15:00
30m
Full-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
Pre-print
:
:
:
: