Studying and Improving the Soundness of Input-Based Feature-Oriented Debloating. - Jiahao Yuan 001; Weinuo Leng; Xuan Wei 002; Qi Xin 001; Xiaoyuan Xie; Jifeng Xuan (IEEE Trans. Software Eng., 2026)