CORC  > 武汉大学
一种基于约束的指针程序路径选择方法
郭曦; 张焕国
刊名武汉大学学报(理学版)
2011
卷号57期号:5
关键词约束求解 静态单指派 指向分析 路径选择 测试用例生成
ISSN号1671-8836
URL标识查看原文
收录类别CSCD ; CNKI
语种中文
内容类型期刊论文
URI标识http://www.corc.org.cn/handle/1471x/3782232
专题武汉大学
推荐引用方式
GB/T 7714
郭曦,张焕国. 一种基于约束的指针程序路径选择方法[J]. 武汉大学学报(理学版),2011,57(5).
APA 郭曦,&张焕国.(2011).一种基于约束的指针程序路径选择方法.武汉大学学报(理学版),57(5).
MLA 郭曦,et al."一种基于约束的指针程序路径选择方法".武汉大学学报(理学版) 57.5(2011).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace