This paper is not about C-Reduce as a whole but 3 new "domain-specific test-case reducers" that the authors added to the project. Most of the non-domain specif

This paper is not about C-Reduce as a whole but 3 new "domain-specific test-case reducers" that the authors added to the project. Most of the non-domain specific reductions in C-Reduce is simply brute force IIRC.