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

This program is tentative and subject to change.

Concurrent bugs pose significant challenges to modern software reliability, as they often manifest only under rare thread interactions and specific input sequences. Traditional coverage-based fuzzer, such as AFL, struggle to detect such bugs due to their reliance on one-dimensional edge coverage and random mutation strategies. To overcome these limitations, we propose an improved fuzzing approach that introduces a tuple-based coverage evaluation mechanism to preserve seeds that reveal thread interactions. Instead of relying on edge coverage, our approach represents execution paths as a set of basic-block tuples, capturing richer contextual information about thread interactions. By dynamically identifying and retaining seeds that explore previously unseen tuple combinations, our approach significantly improves the diversity and quality of test inputs. Experimental results demonstrate that our approach achieves higher tuple-based coverage and preserves more concurrency-revealing seeds compared with the existing coverage-based fuzzer, effectively improving the detection of concurrency vulnerabilities.

This program is tentative and subject to change.

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
14:00
12m
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:12
12m
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:25
12m
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:38
12m
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
14:51
12m
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
15:04
12m
Talk
CV: Interactive Visualization of Verification Results
Tool Demo Track
Vitalii Mordan Trusted AI Research Center, Vadim Mutilin
Pre-print Media Attached
15:17
12m
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