北京邮电大学主页平台管理系统易秋萍--中文主页-- Summary-guided incremental symbolic execution

个人信息

MORE +

易秋萍

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

同专业博导

同专业硕导

论文成果

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

Summary-guided incremental symbolic execution

发布时间：2021-11-29 点击次数：

发表刊物：IEEE/ACM International Conference on Software Engineering (ICSE)(Companion Volume)
论文类型：Conference Paper
学科门类：哲学
一级学科：哲学
是否译文：否
发表时间：2020-04-03

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

下一条：Concurrency Verification with Maximal Path Causality