https://papergrep.dev/paper/test-case-reduction-via-test-case-generation-3ba982