Most devs unit-test, if at all, by using a few examples. There are often bugs that these examples won't catch! Mutation testing reveals them by changing the code and checking whether the test suite notices. Property-Based Testing reveals them by automatically generating a thorough set of examples. You will come away equipped with these powerful techniques to easily generate a thorough test, and check whether your test suite is strict.