We present CV (Continuous Verification), a framework for regression verification that transforms machine-readable, SV-COMP compliant results into interactive, human-readable visualizations. CV assists software developers by presenting error traces, correctness proofs, and overall statistics in a concise and accessible form, thereby reducing the effort required for manual analysis of verification results. In addition, it supports regression verification by comparing outcomes across software versions and highlighting new results - whether potential bugs or correctness proofs. Although originally developed for SV-COMP, CV is applicable to any verification benchmark following the SV-COMP format, including real-world software such as Linux kernel modules. CV is available as open-source software. A video demonstration is available at https://youtu.be/98JzOwgKmjY.
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 at Megaron Beta Chair(s): Sriteja Kummita Paderborn University | ||
14:00 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 7mTalk | 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 7mTalk | 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 7mTalk | 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 | ||