Not sure if this makes sense but is that similar to fuzzing? Or can it be used alongside fuzzing

What I am familiar is with property testing libraries that automatically shrink failing cases, like quickcheck for Haskell, quickcheck for Rust and Hypothesis for Python. I suppose that if we modelled C code as an AST one could use quickcheck to shrink a test case. Is creduce like this, but operating on strings rather than trees?

https://stackoverflow.com/questions/16968549/what-is-a-shrin...