uncover a bug in a test case