咨询与建议

限定检索结果

文献类型

  • 269 篇 会议
  • 60 篇 期刊文献

馆藏范围

  • 329 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 205 篇 工学
    • 182 篇 计算机科学与技术...
    • 139 篇 软件工程
    • 30 篇 控制科学与工程
    • 21 篇 信息与通信工程
    • 16 篇 交通运输工程
    • 15 篇 机械工程
    • 15 篇 生物工程
    • 11 篇 建筑学
    • 9 篇 土木工程
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 7 篇 电气工程
    • 6 篇 动力工程及工程热...
    • 4 篇 光学工程
    • 4 篇 石油与天然气工程
  • 97 篇 理学
    • 74 篇 数学
    • 17 篇 生物学
    • 14 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 8 篇 物理学
  • 72 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 32 篇 图书情报与档案管...
    • 14 篇 工商管理
    • 5 篇 公共管理
  • 9 篇 医学
    • 8 篇 公共卫生与预防医...
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 8 篇 法学
    • 6 篇 社会学
  • 5 篇 艺术学
    • 5 篇 设计学(可授艺术学...
  • 2 篇 农学
  • 1 篇 教育学

主题

  • 29 篇 software testing
  • 22 篇 testing
  • 21 篇 petri nets
  • 20 篇 web services
  • 17 篇 software
  • 15 篇 model checking
  • 13 篇 software quality
  • 10 篇 analytical model...
  • 10 篇 cloud computing
  • 9 篇 laboratories
  • 9 篇 quality of servi...
  • 9 篇 computational mo...
  • 9 篇 semantics
  • 8 篇 feature extracti...
  • 8 篇 security
  • 7 篇 software reliabi...
  • 7 篇 costs
  • 7 篇 algorithm design...
  • 7 篇 business
  • 7 篇 training

机构

  • 165 篇 shanghai key lab...
  • 74 篇 school of comput...
  • 55 篇 department of co...
  • 40 篇 shanghai key lab...
  • 24 篇 department of co...
  • 19 篇 shanghai key lab...
  • 19 篇 school of comput...
  • 16 篇 school of inform...
  • 16 篇 shanghai key lab...
  • 10 篇 school of comput...
  • 10 篇 school of cyber ...
  • 9 篇 shanghai key lab...
  • 8 篇 east china unive...
  • 7 篇 shanghai jiao to...
  • 7 篇 guangxi collabor...
  • 7 篇 computing center...
  • 6 篇 shanghai enginee...
  • 6 篇 shanghai key lab...
  • 6 篇 faculty of engin...
  • 6 篇 beijing key lab....

作者

  • 34 篇 lizhi cai
  • 32 篇 yu huiqun
  • 31 篇 miao huaikou
  • 31 篇 cai lizhi
  • 29 篇 fan guisheng
  • 24 篇 zhenyu liu
  • 21 篇 chen liqiong
  • 19 篇 liu zhenyu
  • 16 篇 huaikou miao
  • 15 篇 chen mingang
  • 13 篇 chen shengbo
  • 11 篇 gao honghao
  • 10 篇 mingang chen
  • 10 篇 liu pan
  • 10 篇 zhang juan
  • 9 篇 genxing yang
  • 9 篇 hongwei zeng
  • 9 篇 yun hu
  • 9 篇 chunhe xia
  • 9 篇 tianbo wang

语言

  • 324 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"
329 条 记 录,以下是251-260 订阅
排序:
An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts
An Approach to Optimize Symbolic Execution in Ethereum Smart...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)
作者: Yi Liu Lizhi Cai Chenchen Chai Yuan Ma School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China
As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology... 详细信息
来源: 评论
A requirements description language pLSC for probabilistic branches and three-stage events
A requirements description language pLSC for probabilistic b...
收藏 引用
ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)
作者: Jinyu Kai Huaikou Miao Honghao Gao Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai P.R. China Computing Center Shanghai University Shanghai P.R. China
The language of Live Sequence Chart (LSC), a multi-modal extension of MSC, introduces the distinction between mandatory and possible on the level of the whole chart and for the chart elements. While the LSC still exte... 详细信息
来源: 评论
LTL model checking probabilistic Petri net system
收藏 引用
International Journal of Advancements in Computing Technology 2012年 第1期4卷 172-178页
作者: Liu, Yang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China School of Information Science and Technology Taishan University Taian Shandong 271021 China
Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area... 详细信息
来源: 评论
AGT4W:Automatic Generating Tests for Web Applications
AGT4W:Automatic Generating Tests for Web Applications
收藏 引用
2011 International Conference on Frontiers in computer Education(ICFCE 2011)
作者: Shengbo Chen Huaikou Miao Bo Song School of Computer Engineering and Science Shanghai University Shanghai Key Laboratory of Computer Software Evaluating and Testing College of Information Science and Technology Qingdao University of Science &Technology
Web applications can only be accessed through dedicated client systems called Web browsersThe behaviors of Web browser's interactions influence the functionalities and navigation of Web applicationsIn the past, on... 详细信息
来源: 评论
Research of performance test technology for big data applications
Research of performance test technology for big data applica...
收藏 引用
International Conference on Information and Automation (ICIA)
作者: Zhenyu Liu Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai CHINA
This paper studies the performance test in big data application. The existing performance testing technology is not suitable for the big data application. The paper proposed test technology for performance testing. Th... 详细信息
来源: 评论
A chain algorithm for conformance testing based on UIO sequences
A chain algorithm for conformance testing based on UIO seque...
收藏 引用
ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)
作者: Weiwei Lin Hongwei Zeng Department of Information Science and Technology Taishan University Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China
State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possi... 详细信息
来源: 评论
Automated testing of Android Applications Integrating Residual Network and Deep Reinforcement Learning
Automated Testing of Android Applications Integrating Residu...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security (QRS)
作者: Lizhi Cai Jilong Wang Mingang Cheng Jin Wang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing&Evaluating Shanghai Development Center of Computer Software Technology Shanghai China
With the improvements of Deep Reinforcement Learning (DRL), there have been tremendous interests in utilizing DRL for automated application testing. However, most automated testing methods based on reinforcement learn... 详细信息
来源: 评论
Verifying web services composition based on interface automata using SPIN
International Journal of Digital Content Technology and its ...
收藏 引用
International Journal of Digital Content Technology and its Applications 2010年 第8期4卷 23-33页
作者: Mei, Jia Miao, Huaikou Chen, Yihai Gao, Honghao School of Computer Engineering and Science Shanghai University Shanghai 200072 China Department of Computer Information and Management Guangxi University of Finance and Economics Nanning 530003 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China State Key Laboratory of Software Engineering in Wuhan University Wuhan 430072 China
Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. These processes should be reliable, because a failure in them can cause high economic ... 详细信息
来源: 评论
Research on service recommendation reliability in mobile computing
Research on service recommendation reliability in mobile com...
收藏 引用
International Conference on software Engineering Research, Management and Applications (SERA)
作者: Weng Wen HuaiKou Miao School of Computer Engineering and Science Shanghai University Shanghai China College of Computer and Information Engineering Shanghai Polytechnic University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai Shanghai China
Web services bring more conveniences for users and developers. However, it makes user face the problem of service information explosion. The personalized service recommendation solves the problem. This paper proposes ... 详细信息
来源: 评论
Instance-Aware Domain Generalization for Face Anti-Spoofing
arXiv
收藏 引用
arXiv 2023年
作者: Zhou, Qianyu Zhang, Ke-Yue Yao, Taiping Lu, Xuequan Yi, Ran Ding, Shouhong Ma, Lizhuang Shanghai Jiao Tong University China Youtu Lab Tencent China Shanghai Key Laboratory of Computer Software Evaluating and Testing China Deakin University Australia
Face anti-spoofing (FAS) based on domain generalization (DG) has been recently studied to improve the generalization on unseen scenarios. Previous methods typically rely on domain labels to align the distribution of e... 详细信息
来源: 评论