Interesting stuff
On the test-data-stochasticity spectrum this sits somewhere between coverage-guided fuzzing and old-school deterministic test inputs. Explicitly supplying a format specification spoils the elegance of it but if effectiveness improves, what's not to like? Oh, right - you have to have the format specification in the first place. Other than that, nice work indeed.