Ccfa

Toward a Better Understanding of Probabilistic Delta Debugging
WDD: Weighted Delta Debugging
An Empirical Study of Bugs in Data Visualization Libraries
Towards Diverse Program Transformations for Program Simplification
LLM-Powered Static Binary Taint Analysis
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
An Empirical Study of Data Disruption by Ransomware Attacks
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
LPR: Large Language Models-Aided Program Reduction