北京邮电大学主页平台管理系统王雅文--中文主页-- Unit Test Data Generation for C Using Rule-Directed Symbolic Execution

个人信息

MORE +

王雅文Wang Yawen

(副教授)

博士生导师硕士生导师
学位：博士学位
性别：女
毕业院校：北京邮电大学
学历：研究生毕业
在职信息：在职
所在单位：计算机学院（国家示范性软件学院）
电子邮箱：

同专业博导

同专业硕导

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Unit Test Data Generation for C Using Rule-Directed Symbolic Execution

发布时间：2024-11-04 点击次数：

发表刊物：计算机科学技术学报（英文版）
论文类型：期刊
合写作者：校外人员,宫云战,王雅文,金大海
论文编号：5f28c46997724a6fe28c0fb6
卷号：34
期号：3
页面范围：670-689
ISSN号：1000-9000
是否译文：否
发表时间：2019-05-01

上一条：一种语句变异评分的预测模型

下一条：ST-TLF: Cross-version defect prediction framework based transfer learning