Test-case reduction for C compiler bugs
By J. Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang. ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2012
418 citations recorded by the source corpus.
Subfields: Information Systems, Software
View Paper: https://www.semanticscholar.org/paper/edd971fe845e73b303988691deb891f208731b50
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Information Systems
- Zhendong Su
- Jeffrey S. Foster
- Adam A. Porter
- Ugur Koc
- Parsa Saadatpanah
- Yuting Chen
- Manuel Egele
- Kihong Heo
In Software
- Ting Su
- Zhendong Su
- Yuting Chen
- Jianjun Zhao
- Chengnian Sun
- Jeffrey S. Foster
- Adam A. Porter
- Ugur Koc
Citations in the corpus
- The Art, Science, and Engineering of Fuzzing: A Survey (2018, methodology): “These include format agnostic techniques such as delta debugging [236], and specialized techniques for specific formats such as C-Reduce [178] for C/C++ files.”
- Coverage-directed differential testing of JVM implementations (2016, background): “…there do not exist any models or automated means for identifying the root cause of the discrepancy, although many general purposed test case reducers ( e.g. , AST-Based reducer and the modular reducer [31] for CSmith [41]) do exist for pruning the large irrelevant portions from test inputs.”
- Learning a classifier for false positive error reports emitted by static code analysis tools (2017, methodology): “We looked into three code reduction techniques; delta debugging (Zeller and Hildebrandt 2002), hierarchical delta debugging (Misherghi and Su 2006), and c-reduce Regehr et al. (2012).”
- Automatically generating features for learning program analysis heuristics for C-like languages (2017, methodology): “, C-Reduce [Regehr et al. 2012]) takes a program and a predicate, and iteratively removes parts of the program as long as the predicate holds.”