I hate to sound negative, but something about that website seems dodgy. I'm unconvinced duplicate/overlapping tests -- while obviously undesirable -- have a direct correlation with code quality. Unfortunately, in order to read their "papers" where they elaborate on this, I have to register :/

I'd rather use something open source like pitest.

(Again, thanks for the links! I don't want to sound too negative)