Xiaoying Bai Kejia Hou Hao Lu Yao Zhang Linping Hu Hong Ye Semantic-Based Test Oracles. 640-649 2011 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.89 conf/compsac/2011 db/conf/compsac/compsac2011.html#BaiHLZHY11