New posts in Property Based Testing

Is it a good or a bad thing that a suite of quickcheck tests match the implementations?

What is the difference between Property Based Testing and Mutation testing?