Trail of Bits Blog Follow https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/ blog.trailofbits.com
