guided search

generative testing that chooses interesting inputs using system feedback through oracles

“Guided search quickly found the rare interleaving that triggered the deadlock.”