科研之友ScholarMate
免费注册
首页 论文 论文详情
赞 收藏 引用

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

作者：Su, Ting; Pu, Geguang*; Miao, Weikai*; He, Jifeng; Su, Zhendong
来源：Science China Information Sciences, 2016, 59(9): 098101.
DOI：10.1007/s11432-016-5589-6

全文

全文

访问全文
收藏 分享 被引(8) 浏览
更新时间：2023-10-18 19:40