北京邮电大学教师个人主页系统 Wang Yawen--Home--

Research Projects

Current location: Home >> Scientific Research >> Research Projects

基于抽象内存模型的复杂类型测试用例生成方式研究

Hits:

Affiliation of Participant(s):网络技术研究院

Leading Scientist:王雅文

Status:结题

Classification of Project:040

Classification of Disciplines:计算机科学技术

Date of Project Approval:2012-09-06

Date of Project Completion:2016-09-09

Date of Project Initiation:2013-01-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 :

Click:

Opening Time:..

The Last Update Time:..