Automated coverage-driven testing: combining symbolic execution and model checking

Ting Su; Geguang Pu; Weikai Miao; Jifeng He; Zhendong Su

doi:10.1007/s11432-016-5589-6

Automated coverage-driven testing: combining symbolic execution and model checking

Ting Su
, Geguang Pu^*
, Weikai Miao
, Jifeng He
, Zhendong Su

^*此作品的通讯作者

软件工程学院

University of California at Davis

科研成果: 期刊稿件 › 文章 › 同行评审

3 引用（Scopus）

源语言	英语
文章编号	98101
期刊	Science China Information Sciences
卷	59
期	9
DOI	https://doi.org/10.1007/s11432-016-5589-6
出版状态	已出版 - 1 9月 2016

访问文件

10.1007/s11432-016-5589-6

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{ab16d1580de5436da82fef1dc722a4db,

title = "Automated coverage-driven testing: combining symbolic execution and model checking",

author = "Ting Su and Geguang Pu and Weikai Miao and Jifeng He and Zhendong Su",

year = "2016",

month = sep,

day = "1",

doi = "10.1007/s11432-016-5589-6",

language = "英语",

volume = "59",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science China Press ",

number = "9",

}

TY - JOUR

T1 - Automated coverage-driven testing

T2 - combining symbolic execution and model checking

AU - Su, Ting

AU - Pu, Geguang

AU - Miao, Weikai

AU - He, Jifeng

AU - Su, Zhendong

PY - 2016/9/1

Y1 - 2016/9/1

UR - https://www.scopus.com/pages/publications/84984906764

U2 - 10.1007/s11432-016-5589-6

DO - 10.1007/s11432-016-5589-6

M3 - 文章

AN - SCOPUS:84984906764

SN - 1674-733X

VL - 59

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 9

M1 - 98101

ER -