Design and Evolution of C-Reduce
https://blog.regehr.org/archives/1678 [blog.regehr.org]
2019-07-10 06:10
Since 2008, my colleagues and I have developed and maintained C-Reduce, a tool for programmatically reducing the size of C and C++ files that trigger compiler bugs. C-Reduce also usually does a credible job reducing test cases in languages other than C and C++; we’ll return to that later.