15 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.SE2024
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?
Mingyuan Wu, Jiahong Xiang, Kunqiu Chen +4
Many assisting exploration strategies have been proposed to assist grey-box fuzzers in exploring program states guarded by tight and complex branch conditions such as equality cons…
cs.SE2024
Moving beyond Deletions: Program Simplification via Diverse Program Transformations
Haibo Wang, Zezhong Xing, Zheng Wang +2
To reduce the complexity of software, Developers manually simplify program (known as developer-induced program simplification in this paper) to reduce its code size yet preserving…
cs.PL2023★ 15 cited
LPR: Large Language Models-Aided Program Reduction
Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu +3
Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either…