相似文献/References:
[1]佟长英 沈云付.基于时序逻辑的Object-Z类切片的扩展[J].计算机技术与发展,2009,(06):13.
TONG Chang-ying,SHEN Yun-fu.Extending Slices of Object - Z Classes Based on Temporal Logic[J].,2009,(07):13.
[2]高鹏飞 沈云付.程序切片技术在并发程序模型检查中的应用[J].计算机技术与发展,2008,(11):163.
GAO Peng-fei,SHEN Yun-fu.Application of Program Slicing Technology to Concurrent Programming Model Checking[J].,2008,(07):163.
[3]陈永郑 李龙澍.基于程序切片技术的回归测试方法研究[J].计算机技术与发展,2007,(12):113.
CHEN Yong-zheng,LI Long-shu.Regression Testing Based on Program Slicing[J].,2007,(07):113.
[4]王伟 杨庚 张迎周 孔华云.基于程序切片和服务构件的语义Web服务组合[J].计算机技术与发展,2011,(11):141.
WANG Wei,YANG Geng,ZHANG Ying-zhou,et al.Semantic Web Service Composition Based on Program[J].,2011,(07):141.
[5]熊可欣,李 涛*,余 琴,等.PDGcross:基于跨文件图表征的源代码漏洞检测[J].计算机技术与发展,2023,33(08):102.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 015]
XIONG Ke-xin,LI Tao*,YU Qin,et al.PDGcross:Source Code Vulnerability Detection Based on Cross-file Graph Representation[J].,2023,33(07):102.[doi:10. 3969 / j. issn. 1673-629X. 2023. 08. 015]