Corrected test case generation