TCSE logo 
 Sigsoft logo
Sustainability badge
Thu 1 May 2025 15:00 - 15:15 at 205 - Testing and QA 3 Chair(s): Michael Pradel

We present TopSeed, a new approach that automatically selects optimal seeds to enhance symbolic execution. Recently, the performance of symbolic execution has significantly improved through various state-of-the-art techniques, including search strategies and state-pruning heuristics. However, these techniques have typically demonstrated their effectiveness without considering “seeding”, which efficiently initializes program states for exploration. This paper aims to select valuable seeds from candidate inputs generated during interactions with any symbolic execution technique, without the need for a predefined seed corpus, thereby maximizing the technique’s effectiveness. One major challenge is the vast number of candidates, making it difficult to identify promising seeds. To address this, we introduce a customized online learning algorithm that iteratively groups candidate inputs, ranks each group, and selects a seed from the top-ranked group based on data accumulated during symbolic execution. Experimental results on 17 open-source C programs show that TopSeed significantly enhances four distinct cutting-edge techniques, implemented on top of two symbolic executors, in terms of branch coverage and bug-finding abilities.

Thu 1 May

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

14:00 - 15:30
Testing and QA 3Research Track / Journal-first Papers at 205
Chair(s): Michael Pradel University of Stuttgart
14:00
15m
Talk
Increasing the Effectiveness of Automatically Generated Tests by Improving Class ObservabilityAward Winner
Research Track
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana, Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Nicolas Jimenez-Fuentes Pontificia Universidad Católica de Chile, Alexandre Bergel University of Chile, Gordon Fraser University of Passau
14:15
15m
Talk
Invivo Fuzzing by Amplifying Actual ExecutionsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Octavio Galland Canonical, Marcel Böhme MPI for Security and Privacy
14:30
15m
Talk
Towards High-strength Combinatorial Interaction Testing for Highly Configurable Software SystemsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Chuan Luo Beihang University, Shuangyu Lyu Beihang University, Wei Wu Central South University; Xiangjiang Laboratory, Hongyu Zhang Chongqing University, Dianhui Chu Harbin Institute of Technology, Chunming Hu Beihang University
14:45
15m
Talk
WDD: Weighted Delta DebuggingArtifact-FunctionalArtifact-Available
Research Track
Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang University of Waterloo, Yongqiang Tian , Chengnian Sun University of Waterloo
15:00
15m
Talk
TopSeed: Learning Seed Selection Strategies for Symbolic Execution from ScratchArtifact-FunctionalArtifact-Available
Research Track
Jaehyeok Lee Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University
15:15
15m
Talk
Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testing
Journal-first Papers
Michel Maes Bermejo Universidad Rey Juan Carlos, Alexander Serebrenik Eindhoven University of Technology, Micael Gallego Universidad Rey Juan Carlos, Francisco Gortázar Universidad Rey Juan Carlos, Gregorio Robles Universidad Rey Juan Carlos, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos
:
:
:
: