Repairing Planning Domains Based on Lifted Test Plans. - Nader Karimi Bavandpour; Pascal Lauer; Songtuan Lin; Pascal Bercher (ECAI, 2025)