陈俊杰0003 胡文祥 单号0001 熊英飞0001 张宏宇0002 鲁章0023 谢冰冰（Bing Xie） 编译器测试技术的实证比较。 180-190年 2016 ICSE公司 https://doi.org/10.1145/2884781.2884878 https://ieeexplore.ieee.org/document/7886902/ conf/icse/2016 db/conf/icse/icse2016.html#ChenHHXZ0X16