Mutation testing and PBT frameworks like Hypothesis are complementary. One can use the latter to find tests that kill mutants.