Synthesizing Document Database Queries Using Collection Abstractions. - Qikang Liu; Yang He; Yanwen Cai; Byeongguk Kwak; Yuepeng Wang 001 (ICSE, 2025)