• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
1. A Quantitative Characterization of Cross Coverage SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Lan, CH;Hung, WNN;Guo, XR;Song, XY

作者全称:Zhou, Jiantao;Lan, Caihe;Hung, William N. N.;Guo, Xinrui;Song, Xiaoyu

作者机构:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R C 更多

第一署名单位:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

来源:IEEE TRANSACTIONS ON COMPUTERS,2015,Vol.64,Issue.8

基金:National Natural Science Foundation of China [61262082, 61262017]; Key; Project of Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation for Distinguished Young Scholars [2012JQ03]

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q1;ENGINEERING, ELECTRICAL & ELECTRONIC为Q1

中科院分区:大类工程技术3区;小类计算机:硬件2区;小类工程:电子与电气3区

(JCR)当年影响因子:3.052

(JCR)5年影响因子:2.979

ESI学科:COMPUTER SCIENCE

教育部学科:控制科学与工程,软件工程,计算机科学与技术;电子科学与技术,软件工程

关键词:Coverage model; probabilistic analysis

摘要:Effective verification methods are necessary for finding bugs in complex system design. Given domain specific knowledge, design verification engineers 更多

2. A Latent Implementation Error Detection Method for Software Validation SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Liu, J;Wu, JZ;Zhong, GD

作者全称:Zhou, Jiantao;Liu, Jing;Wu, Jinzhao;Zhong, Guodong

作者机构:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.; [Wu, Jinzhao] Guangxi Univ Nationali 更多

第一署名单位:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

来源:JOURNAL OF APPLIED MATHEMATICS,2013,Vol.2013

基金:National Natural Science Foundation of China [61262082, 61262017,; 61163011, 60973147]; Chinese Ministry of Education [212025]; Inner; Mongolia Science Foundation for Distinguished Young Scholars [2012JQ03];; Introduction Foundation for High-Level Talents of Inner Mongolia; University; Ministry of Education of China [20090009110006]; Natural; Science Foundation of Guangxi [2011GXNSFA018154, 2012GXNSFGA060003];; Science and Technology Foundation of Guangxi [10169-1]; Guangxi; Scientific Research Project [201012MS274]

教育部学科:光学工程,力学,控制科学与工程

摘要:Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checkin 更多

更新时间:Mar 28, 2019
TOP