This is super interesting! Sort of like property-based testing, but the "property" is that the new code and the old code should have the same output given the

This is super interesting! Sort of like property-based testing, but the "property" is that the new code and the old code should have the same output given the same input. I bet that fuzzing old, unmaintained programs leads to many, many crashes. (If the old code crashed on a certain input, should the transformed code crash too, to maintain "compatibility"?)