TY - 计算机科学 A1 - 叶志斌,严波 T1 - 符号执行研究综述 Y1 - 2018-06-20 JF - 计算机科学 JO - 计算机科学 SP - 28 EP - 35 VL - 45 IS - 6A UR - https://www.jsjkx.com N1 - ER -