基于ECPMR的编译器测试方法
刘磊1,2, 刘利娟2, 吴新维1, 张鹏1

Compiler testing method based on ECP metamorphic relation
LIU Lei1,2, LIU Li-juan2, WU Xin-wei1, ZHANG Peng1
程序 P 的切片结果