中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

软件研究所 [4]

山东大学 [3]

清华大学 [2]

北京大学 [2]

北京航空航天大学 [2]

自动化研究所 [2]

内容类型

期刊论文 [12]

会议论文 [5]

学位论文 [2]

发表日期

学科主题

计算机软件::软件工... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共19条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Evolutionary generation of test data for EFSM based on irrelevant variable separation [基于无关变量分离的EFSM测试数据进化生成] 期刊论文 Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2019, 卷号: 45, 页码: 919-929 作者: Pan, X.; Hao, S.; Yuan, Z.; Song, N. 收藏 \| 浏览/下载：12/0 \| 提交时间：2019/12/30 Computer aided software engineering Data flow analysis Efficiency Genetic algorithms Software testing Testing Average running time Complex benchmark Evolutionary generation Extended finite state machine Irrelevant variables Space reductions Test data generation Traditional genetic algorithms Data reduction
	Parking Detection Method Based on Finite-State Machine and Collaborative Decision-Making 期刊论文 IEEE Sensors Journal, 2018 作者: Fengqi Yu; Shengzhong Feng; Hongmei Zhu 收藏 \| 浏览/下载：19/0 \| 提交时间：2019/01/31
	Model checking the DNS under DNS cache-poisoning attacks using SPIN 期刊论文 SCIENCEASIA, 2016, 卷号: 42, 页码: 49-55 作者: Zhang, Wei; Yang, Meihong; Zhang, Xinchang; Shi, Huiling 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/16 protocol verification extended finite state machine PROMELA
	An approach of security testing for third-party component based on state mutation 期刊论文 SECURITY AND COMMUNICATION NETWORKS, 2016, 卷号: 9, 期号: 15, 页码: 2827-2842 作者: Chen, Jinfu[1]; Chen, Jiamei[2]; Huang, Rubing[3]; Guo, Yuchi[4]; Zhan, Yongzhao[5] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/24 third-party component security testing method sequence extended finite state machine state mutation
	基于数据的自适应动态规划最优控制与微分博弈研究学位论文工学博士, 中国科学院自动化研究所: 中国科学院大学, 2015 作者: 收藏 \| 浏览/下载：434/0 \| 提交时间：2015/09/02 智能控制自适应动态规划神经网络最优控制微分博弈 Intelligent control adaptive dynamic programming neural networks optimal controldifferential games differential games
	软件结构化测试数据生成技术学位论文硕士, 北京: 中国科学院大学, 2014 吴添勇收藏 \| 浏览/下载：25/0 \| 提交时间：2014/05/29 软件测试结构化测试测试数据生成扩展有限状态机修改的条件/判断覆盖
	Model-Based Testing of Web Service with EFSM 会议论文 8th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), NOV 20-23, 2013 作者: Sun, Fuzhen; Liao, Lejian; Zhang, Longbo 收藏 \| 浏览/下载：6/0 \| 提交时间：2019/12/31 Web service Model-based testing Extended finite state machine (EFSM) Fault detection
	Rare but severe concerted punishment that favors cooperation 期刊论文 theoretical population biology, 2012 Deng, Kuiying; Li, Zhuozheng; Kurokawa, Shun; Chu, Tianguang 收藏 \| 浏览/下载：30/0 \| 提交时间：2015/11/10 Finite population Fixation probability Evolutionarily stable strategy Public Goods game PUBLIC-GOODS GAMES TIT-FOR-TAT ALTRUISTIC PUNISHMENT STRONG RECIPROCITY EVOLUTION INSTITUTIONS POPULATION SOCIETIES SANCTIONS DEFECTORS
	a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文 IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012 Wu Tianyong; Yan Jun; Zhang Jian 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/09/22 Automata theory Computer aided software engineering Computer software
	Real-time embedded software testing method based on extended finite state machine 期刊论文 JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2012, 卷号: 23, 页码: 276-285 作者: Yin, Yongfeng; Liu, Bin; Ni, Hongying 收藏 \| 浏览/下载：7/0 \| 提交时间：2020/01/06 real-time system real-time embedded software formal method extended finite state machine (EFSM) testing sequence test case

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

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