Test-case reduction for C compiler bugs

PLDI 2012
Volume: 47, Issue: 6, Pages: 335 - 346
Published: Jun 11, 2012
Abstract
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing substrings of the original input; the result is a concatenation of substrings that delta cannot remove. We have found this approach less than ideal for reducing C programs because it typically yields test cases that are too large or even invalid (relying on undefined...
Paper Details
Title
Test-case reduction for C compiler bugs
Published Date
Jun 11, 2012
Journal
Volume
47
Issue
6
Pages
335 - 346
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.