Detection of Redundant Condition Expression for Large Scale Source Code. - Dandan Gong; Wensheng Xu; Chunfang Qiu; Libei Zhou (GSKI (1), 2017)