Imperfect Debugging SRGM with FDP–FCP. - Qiu, Xiangyi; Song, Yinglei (Algorithms, 2026)