Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation
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 MarDisplayed 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 12mTalk | 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 12mTalk | 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 12mTalk | 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 12mTalk | 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 12mTalk | 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 12mTalk | CV: Interactive Visualization of Verification Results Tool Demo Track Pre-print Media Attached | ||
15:17 12mTalk | 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 | ||