Generation of Test Cases for Testing SuperSQL. - Amulya Bathini; Kento Goto; Motomichi Toyama (iiWAS, 2019)