I’ve always wanted to try this out in practice. It seems like it would be a great way to find gaps in the specification.

There was some research in the early 90’s over multiple implementations as a way to avoid bugs. I still feel like it was dismissed prematurely or could be revisited.