CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Fully automatic integrated continuous-flow digital PCR device for absolute DNA quantification 期刊论文
Analytica Chimica Acta, 2020, 卷号: 1125, 页码: 50-56
作者:  Y. Y. Jiang,A. Manz and W. M. Wu
收藏  |  浏览/下载：6/0  |  提交时间：2021/07/06
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 卷号: 28, 页码: 1369-1397
作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Liu, Lilan[3];  Kai, Jinyu[4];  Zhao, Kun[5]
收藏  |  浏览/下载：14/0  |  提交时间：2019/04/22
DRLgencert: Deep learning-based automated testing of certificate verification in ssl/tls implementations 期刊论文
Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, 2018, 页码: 48-58
作者:  Chen, Chao;  Diao, Wenrui;  Zeng, Yingpei;  Guo, Shanqing;  Hu, Chengyu
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/11
A test language for avionics system 会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS
作者:  Liu, Y.;  Lv, J.;  Wang, W.;  Li, T.;  Ma, S.
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
DRLGENCERT: Deep Learning-based Automated Testing of Certificate Verification in SSL/TLS Implementations 会议论文
IEEE International Conference on Software Maintenance and Evolution (ICSME), SEP 23-29, 2018
作者:  Chen, Chao;  Diao, Wenrui;  Zeng, Yingpei;  Guo, Shanqing;  Hu, Chengyu
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/31
Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV 期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 6492-6501
作者:  Cui, Kai;  Zhou, Kuanjiu;  Song, Houbing;  Li, Mingchu
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/02
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
Automated Software Testing for Control and Monitoring a Radio Telescope 会议论文
Spain, 2017
作者:  B.Xaia;  T.Gatsi;  O.J.Mokonepresenter
收藏  |  浏览/下载：9/0  |  提交时间：2018/04/17
Automated Safety Analysis on Scenario-Based Requirements for Train Control System 会议论文
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2017-01-01
作者:  Wang, Xi[1];  Miao, Huaikou[2];  Miao, Weikai[3]
收藏  |  浏览/下载：7/0  |  提交时间：2019/04/24
A Test Language for Avionics System 会议论文
PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017-01-01
作者:  Liu, Yanfang;  Lv, Jianghua;  Wang, Wei;  Li, Tao;  Ma, Shilong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30

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