LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming