28 citations · 40 across the 13 of their papers we have counts for
4 papers · 1 filter
WDD: Weighted Delta Debugging
Xintong Zhou, Zhenyang Xu, Mengxiao Zhang +2
Delta Debugging is a widely used family of algorithms (e.g., ddmin and ProbDD) to automatically minimize bug-triggering test inputs, thus to facilitate debugging. It takes a list o…
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
Aniruddhan Murali, Mahmoud Alfadel, Meiyappan Nagappan +2
Memory leak bugs are a major problem in C/C++ programs. They occur when memory objects are not deallocated.Developers need to manually deallocate these objects to prevent memory le…
Toward a Better Understanding of Probabilistic Delta Debugging
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian +2
Given a list L of elements and a property that L exhibits, ddmin is a well-known test input minimization algorithm designed to automatically eliminate irrelevant elements from L. T…
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…