Selected

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
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
CoopHance: Cooperative Enhancement for Robustness of Deep Learning System