北京邮电大学主页平台管理系统 Wang Yawen--Home-- Unit Test Data Generation for C Using Rule-Directed Symbolic Execution

Paper Publications

Current location: Home >> Scientific Research >> Paper Publications

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

Hits:

Journal:计算机科学技术学报（英文版）

Indexed by:期刊

All the Authors:校外人员,宫云战,王雅文,金大海

Document Code:5f28c46997724a6fe28c0fb6

Volume:34

Issue:3

Page Number:670-689

ISSN No.:1000-9000

Translation or Not:no

Date of Publication:2019-05-01

Pre One : 一种语句变异评分的预测模型

Next One : 一种基于层次聚类的测试用例集约简方法

Personal information

Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

Gender:Female

Alma Mater:北京邮电大学

Education Level:研究生毕业

Degree:博士学位

Status:在职

School/Department:计算机学院（国家示范性软件学院）

Discipline:Computer science and technology *

Business Address:新科研楼601-6

Contact Information:010-61198023

ZipCode :

PostalAddress :

OfficePhone :

email :

You are visitors

Opening Time:..

The Last Update Time:..