Automated Test Oracle Generation via Denotational Semantics. - Hai-Feng Guo; Liang Cao; Yushu Song; Zongyan Qiu (QSIC, 2014)