多线程程序约束构建、优化求解及其智能测试方法研究
61472318
2014
F0202.系统软件、数据库与工业软件
杨子江
面上项目
教授
西安理工大学
84万元
约束模型;SMT求解器;多线程程序测试;线程交织;约束求解
2015-01-01到2018-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 国家税务大数据计算与服务关键技术及其应用 | 奖励 | 郑庆华;张未展;刘烃;田锋;陶敬;董博;刘均;屈宇;张镇潮;施建生;王培勇;钱运辉;姜巍;刘勇;张帆 |
| 2 | 软件抄袭检测研究综述 | 期刊论文 | 田振洲;刘烃;郑庆华;佟菲菲;吴定豪;朱森存;陈恺 |
| 3 | Android Malware Familial Classification and Representative Sample Selection via Frequent Subgraph Analysis | 期刊论文 | Fan Ming;Liu Jun;Luo Xiapu;Chen Kai;Tian Zhenzhou;Zheng Qinghua;Liu Ting |
| 4 | Dynamic structure measurement for distributed software | 期刊论文 | Jin Wuxia;Liu Ting;Qu Yu;Zheng Qinghua;Cui Di;Chi Jianlei |
| 5 | A Synergistic Analysis Method for Explaining Failed Regression Tests | 会议论文 | Qiuping Yi;Zijiang Yang;Jian Liu;Zhao Chen;Chao Wang |
| 6 | 一种基于符号计算的动态并行程序污点分析方法 | 专利 | 刘烃;郝宇;尹文浩;张晓东;刘沛;樊浩涵;郑庆华 |
| 7 | DAPASA: Detecting Android Piggybacked Apps Through Sensitive Subgraph Analysis | 期刊论文 | Fan Ming;Liu Jun;Wang Wei;Li Haifei;Tian Zhenzhou;Liu Ting |
| 8 | 基于切片模型的程序回归错误定位方法 | 专利 | 刘烃;陈泽华;王海军;郑庆华;管晓宏;朱海萍 |
| 9 | Postconditioned Symbolic Execution | 会议论文 | Qiuping Yi;Zijiang Yang;Shengjian Guo;Chao Wang;Jian Liu;Chen Zhao |
| 10 | 2016 ISSRE最佳论文奖 | 奖励 | Ming Fan;Jun Liu;Xiapu Luo;Kai Chen;Tianyi Chen;Zhenzhou Tian;Xiaodong Zhang;Qinghua Zheng;Ting Liu |
| 11 | Debugging Multithreaded Programs as if They Were Sequential | 期刊论文 | Zhang Xiaodong;Yang Zijiang;Zheng Qinghua;Hao Yu;Liu Pei;Yu Lechen;Liu Ting |
| 12 | Software Plagiarism Detection with Birthmarks based on Dynamic Key Instruction Sequences | 期刊论文 | Zhenzhou Tian;Qinghua Zheng;Ting Liu;Ming Fan;Eryue Zhuang;Zijiang Yang |
| 13 | 第十八届中国专利优秀奖.基于纳税人利益关联网络模型的偷漏税关联企业识别方法 | 奖励 | 郑庆华;田锋;马天;刘均;高鹏达;刘烃;等 |
| 14 | Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection | 期刊论文 | Tian Zhenzhou;Liu Ting;Zheng Qinghua;Zhuang Eryue;Fan Ming;Yang Zijiang |
| 15 | Exploiting thread-related system calls for plagiarism detection of multithreaded programs | 期刊论文 | Tian Zhenzhou;Liu Ting;Zheng Qinghua;Fan Ming;Zhuang Eryue;Yang Zijiang |
| 16 | Dependence Guided Symbolic Execution | 期刊论文 | Wang Haijun;Liu Ting;Guan Xiaohong;Shen Chao;Zheng Qinghua;Yang Zijiang |
| 17 | SEDEA: State Estimation-Based Dynamic Encryption and Authentication in Smart Grid | 期刊论文 | Liu Ting;Tian Jue;Gui Yuhong;Liu Yang;Liu Pengfei |
查看更多信息请先登录或注册
