As I understand it, the value of this thesis is the design of the fuzzer, which produces sufficiently 'complex' code to exercise uncommon code paths in the comp

As I understand it, the value of this thesis is the design of the fuzzer, which produces sufficiently 'complex' code to exercise uncommon code paths in the compiler, while retaining desirable properties such as reducibility.