秋平易
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 【c7】 秋平易 , 杨国伟 :
反馈驱动的增量符号执行。 ISSRE公司 2022 : 505-516 【c6】 刘健 , 林毅 , 陈伟腾 , 宋成玉 , 钱志云 , 秋平易 :
LinKRID:使用符号执行检查Linux内核中的不平衡引用计数。 USENIX安全研讨会 2022 : 125-142 2020 [c5] 秋平易 , 文俊业 , 杨国伟 :
摘要引导的增量符号执行。 ICSE(配套卷) 2020 : 310-311
2010 – 2019
2018 [注2] 秋平易 , 资江杨 , 郭胜建 , 王超(Chao Wang) , 刘健 , 陈昭 :
通过后条件符号执行消除路径冗余。 IEEE传输。 软件工程。 44 ( 1 ) : 25-43 ( 2018 ) 【c4】 秋平易 , 黄立成 :
具有最大路径因果关系的并发验证。 ESEC/SIGSOFT FSE 2018 : 366-376 2015 [j1] 秋平易 , 资江杨 , 刘健 , 陈昭 , 王超(Chao Wang) :
通过级联故障定位解释软件故障。 ACM事务处理。 设计自动。 选举人。 系统。 20 ( 三 ) : 41:1-41:28 ( 2015 ) 【c3】 秋平易 , 资江杨 , 刘健 , 陈昭 , 王超(Chao Wang) :
解释失败回归测试的协同分析方法。 ICSE(1) 2015 : 257-267 【c2】 秋平易 , 资江杨 , 郭胜建 , 王超(Chao Wang) , 刘健 , 陈昭 :
后置符号执行。 ICST公司 2015 : 1-10 2011 【c1】 秋平易 , 刘健 , 武威沈 :
数据结构方法的高效循环扩展模型检查。 FGIT-ASEA/DRBC/EL公司 2011 : 237-249
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)