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

^*Corresponding author for this work

Software Engineering Institute

University of California at Davis

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Original language	English
Article number	98101
Journal	Science China Information Sciences
Volume	59
Issue number	9
DOIs	https://doi.org/10.1007/s11432-016-5589-6
State	Published - 1 Sep 2016

Access to Document

10.1007/s11432-016-5589-6

Cite this

@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 -

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

Access to Document

Other files and links

Cite this