That is a good description. Rather than building a corpus genetically (mutating a random input and adding it to the corpus of it gives new coverage), I wonder if we could use static analysis to generate a corpus in a single shot? I.e., statically identify the branches and pick inputs that cover each branch?