Antithesis is using this idea to improve its bug-finding product: https://antithesis.com/blog/zelda/