DRReduce cuts bug programs 52% smaller with dependency reconstruction

DRReduce is a framework that enhances syntax-guided program reduction by adding a lightweight dependency reconstruction layer. It repairs program dependencies broken by deletions to preserve semantic validity, increasing acceptance by the property checker. In evaluation, DRReduce achieved average size reductions of 51.9%, 14.9%, and 19.8% over Perses, WDD, and CDD respectively, while completing reduction faster on most programs. An ablation study confirmed that dependency reconstruction reduced query invocations by 80.2%, reduction time by 58.7%, and final token count by over 55.1%. The framework is language-agnostic and implemented for C and Java.