Fuzz testing discovered a critical edge case in the lending contract that no hand-written test had caught.

Automated fuzz testing with tools like Echidna or Foundry's fuzzer is now a standard part of smart contract auditing.