CORC

在结果中检索

CORC

浏览/检索结果: 共58条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Symac: Symbolic execution augmented with concurrent coverage criteria 会议论文
2nd International Conference on Computer Science and Software Engineering, CSSE 2019, Xi'an, China, 2019-05-24
作者:  Zhou, Yong;  Zhang, Li;  Li, Haoyu
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02
Tell you a Definite Answer: Whether Your Data is Tainted During Thread Scheduling 期刊论文
IEEE Transactions on Software Engineering, 2018
作者:  Zhang, Xiaodong;  Yang, Zijiang;  Zheng, Qinghua;  Hao, Yu;  Liu, Pei
收藏  |  浏览/下载：8/0  |  提交时间：2019/11/19
Hijacking Your Routers via Control-Hijacking URLs in Embedded Devices with Web Interfaces 会议论文
INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2017, 2018-01-01
作者:  Yuan, Ming;  Li, Ye;  Li, Zhoujun
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
Deobfuscation of Virtualization-Obfuscated Code Through Symbolic Execution and Compilation Optimization 会议论文
INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2017, 2018-01-01
作者:  Liang, Mingyue;  Li, Zhoujun;  Zeng, Qiang;  Fang, Zhejun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Hijacking your routers via control-hijacking URLs in embedded devices with web interfaces 期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 卷号: 10631 LNCS, 页码: 363-373
作者:  Yuan, M.;  Li, Y.;  Li, Z.
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Locating Software Faults Based on Minimum Debugging Frontier Set 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 卷号: 43, 期号: 8, 页码: 760-776
作者:  Li, Feng;  Li, Zhiyuan;  Huo, Wei;  Feng, Xiaobing
收藏  |  浏览/下载：18/0  |  提交时间：2019/12/12
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution 期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 8752-8762
作者:  Hu, Yan;  Kong, Weiqiang;  Ren, Yizhi;  Choo, Kim-Kwang Raymond
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/02
Debugging multithreaded programs using symbolic analysis 会议论文
作者:  Zhang, Xiaodong;  Liu, Ting;  Yang, Zijiang
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Dependence Guided Symbolic Execution 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 卷号: 43, 页码: 252-271
作者:  Wang, Haijun;  Liu, Ting;  Guan, Xiaohong;  Shen, Chao;  Zheng, Qinghua
收藏  |  浏览/下载：4/0  |  提交时间：2019/11/26
Automated Testing of Definition-Use Data Flow for Multithreaded Programs 会议论文
作者:  Zhang, Xiaodong;  Yang, Zijiang;  Zheng, Qinghua;  Liu, Pei;  Chang, Jialiang
收藏  |  浏览/下载：3/0  |  提交时间：2019/11/26

©版权所有 ©2017 CSpace - Powered by CSpace