Selected

Preventing Disruption of System Backup Against Ransomware Attacks
Toward a Better Understanding of Probabilistic Delta Debugging
WDD: Weighted Delta Debugging
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
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
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
On the Caching Schemes to Speed Up Program Reduction
PPR: Pairwise Program Reduction