Fuzz testing seems surprisingly powerful as part of an IDE and doesn't require any new annotation but seems to waste a ton of resources... I wonder if someone d

Fuzz testing seems surprisingly powerful as part of an IDE and doesn't require any new annotation but seems to waste a ton of resources... I wonder if someone developed an algorithm for most efficiently breaking your assertions, perhaps even with a pre-fitted probabilistic heuristic guiding the search.