Fix bugs for automatic test case generation.