In the video Alex The Entreprenerd (https://x.com/GalloDaSballo), goes through writing fuzz tests for security.
Starting from basic testing and fuzz testing with Foundry and stateful fuzzing with Echidna.
Alex shows you how stateless and stateful fuzzing can be used to uncover bugs that can be hard to find when only writing imperative tests.