Selected

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
Building Dynamic System Call Sandbox with Partial Order Analysis