QQ客服 官方微博 反馈留言

题名	多线程程序的约束建模与自动测试方法研究
作者	张晓东
答辩日期	2018
导师	郑庆华
关键词	软件测试 约束求解 多线程程序 定义-使用链 污点分析
学位名称	博士
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/2907989
专题	西安交通大学
推荐引用方式 GB/T 7714	张晓东. 多线程程序的约束建模与自动测试方法研究[D]. 2018.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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