Report question

Question: Automagic unit tests for upholding Object method contracts in Java?