北京邮电大学主页平台管理系统易秋萍--中文主页-- Feedback-Driven Incremental Symbolic Execution

个人信息

MORE +

易秋萍

博士生导师硕士生导师
学位：博士学位
性别：女
毕业院校：中国科学院软件研究所
学历：研究生毕业
在职信息：在职
所在单位：计算机学院（国家示范性软件学院）
电子邮箱：

同专业博导

同专业硕导

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Feedback-Driven Incremental Symbolic Execution

发布时间：2022-11-21 点击次数：

发表刊物：33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)
刊物所在地：Charlotte, NC, USA
论文类型：论文集
是否译文：否
发表时间：2022-11-03

上一条：Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

下一条：LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution