15 citations · 15 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…