刘剑 计算机科学与技术,刘剑-中国科学院大学-UCAS

发表论文

(1) Explaining software failures by cascade fault localization, ACM Transactions on Design Automation of Electronic Systems, 2015, 通讯作者(2) A synergistic analysis method for explaining failed regression tests, The 37th International Conference on Software Engineering (ICSE), 2015, 通讯作者(3) Postconditioned Symbolic Execution, The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015, 通讯作者(4) 一种基于微内核操作系统进程间通信恢复方法, 计算机应用与软件, 2014, 第 3 作者(5) 一种基于单条程序执行路径的错误定位方法, 计算机系统应用, 2014, 第 3 作者(6) Program Structure Aware Fault Localization, Procceding of InnoSWDev workshop, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering，2014, 2014, 第 4 作者(7) 航天嵌入式操作系统的分析与验证, 载人航天, 2012, 第 4 作者(8) 一种并发程序原子性错误的检测方法及工具, 计算机应用与软件, 2012, 第 3 作者(9) 基于控制流挖掘的Android系统代码漏洞分析, 清华大学学报, 2012, 第 1 作者(10) Effficient Loop-extended Model Checking of Data Structure Methods, Proceeding of ASEA 2011, 2011, 第 2 作者(11) Supporting Flexibile Reification of Design Patterns, Proceeding of APSIC 2010, 2010, 第 3 作者(12) Model Checking a Secure Hypervisor, Procedding of WCSE2010, 2010, 第 2 作者(13) 传值进程模型检测中诊断信息的生成, 软件学报, 2003, 第 1 作者(14) 谓词u演算和模态图的语义一致性, 软件学报, 2003, 第 1 作者(15) Diagnose Model Checking for Value-passing CCS, In Proc. of the Automated Technology for Verification and Analysis(ATVA’2003), 2003, 第 1 作者(16) 交互式环境下基于层次分解的并行变换技术, 计算机研究与发展, 1999, 第 3 作者(17) 一种并发软件规约方法的框架, 计算机科学, 1999, 第 1 作者