易秋萍

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

论文成果

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

Eliminating Path Redundancy via Postconditioned Symbolic Execution

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

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