2 papers
cs.SE2025
Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
Zitong Zhou, Ben Limpanukorn, Hong Jin Kang +5
Ensuring the correctness of compiler optimizations is critical, but existing fuzzers struggle to test optimizations effectively. First, most fuzzers use optimization pipelines (heu…
cs.SE2021
Extending Hierarchical Delta Debugging with Hoisting
Dániel Vince, Renáta Hodován, Daniella Bársony +1
Minimizing failing test cases is an important pre-processing step on the path of debugging. If much of a test case that triggered a bug does not contribute to the actual failure, t…