mabliang··on Finding bugs you didn't think to test forDoes coverage guidance actually help much here, or does most of the value come from having a good generator and reference model?