SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus

REST APIs (Representational State Transfer Application Programming Interfaces) are an indispensable building block in today’s cloud-native applications, so automated test suites are critically important. However, writing automated tests for such REST APIs is challenging because one needs strong and readable tests that exercise the boundary values of the protocol embedded in the REST API. In this paper, we report our experience with using “out of the box” large language models (ChatGPT and GitHub’s Copilot) to amplify REST API test suites. We compare the resulting tests based on coverage and understandability, and we derive a series of guidelines and lessons learned concerning the prompts that result in the strongest test suite.

Thu 19 Mar

Displayed time zone: Athens change

14:00 - 15:30
Session 5B - Techniques and Tools for Testing and VerificationJournal First Track / Research Track / Tool Demo Track / Early Research Achievement (ERA) Track at Megaron Beta
Chair(s): Sriteja Kummita Paderborn University
14:00
15m
Talk
STELLAR: A Search-Based Testing Framework for Large Language Model Applications
Research Track
Lev Sorokin BMW Group, Technical University of Munich, Ivan Vasilev BMW Group, Technische Universität München, Germany, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss
Pre-print File Attached
14:15
15m
Talk
Assessing Large Language Models in Verifying Concurrent Programs
Research Track
Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Rahul Purandare University of Nebraska-Lincoln
14:30
15m
Talk
Understanding the Effectiveness of Mutators in Mutation-based Protocol Fuzzing
Research Track
Xiyuan Zhang East China Normal University, Jiayi Jiang East China Normal University, Yiutak Choi East China Normal University, Ting Su East China Normal University, Haiying Sun East China Normal University, Chengcheng Wan East China Normal University, Geguang Pu East China Normal University, China
14:45
15m
Talk
Test Amplification for REST APIs Using "Out-of-the-box" Large Language Models
Journal First Track
Tolgahan Bardakci University of Antwerp and Flanders Make, Serge Demeyer University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw
15:00
7m
Talk
Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation
Early Research Achievement (ERA) Track
Junjie Huang Xidian University, Cheng Wen Xidian University, Jie Su Xidian University, Zhiwu Xu Shenzhen University, Bin Yu Xidian University, Shengchao Qin Xidian University, Cong Tian Xidian University
Media Attached
15:07
7m
Talk
CV: Interactive Visualization of Verification Results
Tool Demo Track
Vitalii Mordan Trusted AI Research Center, Vadim Mutilin ISP RAS Research Center for Trusted Artificial Intelligence
Pre-print Media Attached
15:14
7m
Talk
MuSe: a Mutation Testing Plugin for the Remix IDE
Tool Demo Track
Gerardo Iuliano University of Salerno, Daniele Carangelo , Carmine Calabrese , Dario Di Nucci University of Salerno