CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
A novel security validation in embedded system 会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS
作者:  Wang, X.;  Xu, B.;  Wang, W.;  Li, L.;  Du, P.
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/30
Debugging multithreaded programs using symbolic analysis 会议论文
作者:  Zhang, Xiaodong;  Liu, Ting;  Yang, Zijiang
收藏  |  浏览/下载：10/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
A Novel Security Validation in Embedded System 会议论文
PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017-01-01
作者:  Wang, Xiang;  Xu, Bin;  Wang, Weike;  Li, Lin;  Du, Pei
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Poster : Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study 会议论文
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, JAPAN, 2017-03-13
作者:  Zhou, Jianyi;  Hao, Dan
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Research on Verification and Validation Strategy of Detonation Fluid Dynamics Code of LAD2D 会议论文
International Conference on Numerical Analysis and Applied Mathematics (ICNAAM), SEP 19-25, 2016
作者:  Wang, R. L.;  Liang, X.;  Liu, X. Z.
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
NIVAnalyzer: a Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps 会议论文
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), MAR 13-17, 2017
作者:  Tang, Junjie;  Cui, Xingmin;  Zhao, Ziming;  Guo, Shanqing;  Xu, Xinshun
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/31
Experimental Validation and Exploration of a New Kind of Synchronization in Linux 会议论文
International Symposium on System and Software Reliability (ISSSR), E China Normal Univ, Zhongbei Campus, Shanghai, PEOPLES R CHINA, OCT 29-30, 2016
作者:  Zhu, FF;  Chen, YC;  Wang, JQ;  Zhang, GF;  Zhou, QG
收藏  |  浏览/下载：2/0  |  提交时间：2017/05/11
Confining Wi-Fi Coverage: A Crowdsourced Method Using Physical Layer Information 会议论文
13th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), London, ENGLAND, 2016-06-27
作者:  Lu, Bingxian;  Zeng, Zhicheng;  Wang, Lei;  Peck, Brian;  Qiao, Daji
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/09
Nonconformity Resolving Recommendations for Product Line Configuration 会议论文
9th IEEE International Conference on Software Testing, Verification and Validation (ICST), Chicago, IL, 2016-04-10
作者:  Lu, Hong;  Yue, Tao;  Ali, Shaukat;  Zhang, Li
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30

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