面向编译器测试的部分求值静态输入确定方法
刘磊,瓮杰,郭德贵
Static input determination method in partial evaluation for compiler test
Lei LIU,Jie WENG,De-gui GUO
吉林大学学报(工学版) . 2020, (1): 262 -267 .  DOI: 10.13229/j.cnki.jdxbgxb20181246