There's no silver bullet, not even mutation testing. For example, if the code for a certain case is straight up missing, there is nothing to mutate! I also con

There's no silver bullet, not even mutation testing. For example, if the code for a certain case is straight up missing, there is nothing to mutate! I also consider mutation testing to be in a different domain from property based testing, as mutation testing is some kind of metatesting instead. PBT is a 'regular' testing technique. This means that they are in fact complimentary, for example by using PBT to check mutants. (Although mutation testing does seem to assume a sort-of 'fixed' test set, but you can also fix a test set with PBT by e.g. explicitly setting a seed and test count.)