北京邮电大学主页平台管理系统易秋萍--中文主页-- Eliminating Path Redundancy via Postconditioned Symbolic Execution

个人信息

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

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

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

发表刊物：In IEEE Transactions on Software Engineering(TSE)
论文类型：论文集
是否译文：否
发表时间：2017-09-07