咨询与建议

限定检索结果

文献类型

  • 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
  • 33 篇 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 条 记 录,以下是61-70 订阅
排序:
Energy-Aware Resource Scheduling with Fault-Tolerance in Edge Computing  16th
Energy-Aware Resource Scheduling with Fault-Tolerance in Edg...
收藏 引用
16th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2019
作者: Xue, Yanfen Fan, Guisheng Yu, Huiqun Sun, Huaiying Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Edge computing extends computation and storage resources to the edge of the network, which largely improve the performance problem of cloud computing incurred by the bandwidth limitation. And it still needs to address... 详细信息
来源: 评论
Efficiency-First Fault-Tolerant Replica Scheduling Strategy for Reliability Constrained Cloud Application  18th
Efficiency-First Fault-Tolerant Replica Scheduling Strategy ...
收藏 引用
18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021
作者: Zhang, Yingxue Fan, Guisheng Yu, Huiqun Chen, Xingpeng Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Reliability requirement assurance is an important prerequisite for application execution in the cloud. Although copy management can improve the reliability of applications, it also brings a series of resource waste an... 详细信息
来源: 评论
Concept analysis based approach to statistical web testing
Concept analysis based approach to statistical web testing
收藏 引用
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
作者: Chen, Chao Miao, Huaikou Chen, Yihai School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China
In recent years, the increased complexity of Web applications gives researchers an enormous challenge in ensuring their reliability. A statistical testing approach has been proved to be appropriate to test Web applica... 详细信息
来源: 评论
The interchange format of tabular expressions using XML  5th
The interchange format of tabular expressions using XML
收藏 引用
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015
作者: Huang, Mao Chen, Yihai Khedri, Ridha Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computing and Software McMaster University HamiltonON Canada
Tabular expressions, also called tables, are formal notations using tables to organize mathematical functions and relations. They have been widely used in documenting and analyzing software specification. Different to... 详细信息
来源: 评论
Based on the analysis of mobile terminal application software performance test  18
Based on the analysis of mobile terminal application softwar...
收藏 引用
18th IEEE/ACIS International Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017
作者: Chunye, Du Wei, Song Jianhua, Wu Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai China
With the rapid development of mobile terminal, mobile applications are gradually penetrated into all aspects of people's life and work. Mobile games, mobile streaming media, location services, mobile Internet news... 详细信息
来源: 评论
Business Scenario Driven Reinforcement Learning testing Method  26
Business Scenario Driven Reinforcement Learning Testing Meth...
收藏 引用
26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023
作者: Cai, Lizhi Wang, Jin School of Information Science and Engineering East China University of Science and Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China
Reinforcement learning has been successfully applied in software testing, but the existing testing methods cannot perform effective testing according to the characteristics of applications, and using outdated interact... 详细信息
来源: 评论
Towards practical modeling of web applications and generating tests
Towards practical modeling of web applications and generatin...
收藏 引用
2010 4th International Symposium on Theoretical Aspects of software Engineering, TASE 2010
作者: Chen, Shengbo Miao, Huaikou Song, Bo Chen, Yihai School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China State Key Laboratory of Software Engineering Wuhan University 430072 Wuhan China
As Web applications evolve, their structures become more and more complex. Web browsers may influence on the correctness of the Web applications, and Web browser's interactions can cause further complications of W... 详细信息
来源: 评论
Modeling UML sequence diagrams using extended Petri nets
Modeling UML sequence diagrams using extended Petri nets
收藏 引用
2010 International Conference in Information Science and Applications, ICISA 2010
作者: Yang, Nianhua Yu, Huiqun Sun, Hua Qian, Zhilin Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China
Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent the systems' requirements. To enhance forma... 详细信息
来源: 评论
Multi-objective biogeography-based method to optimize virtual machine consolidation  28
Multi-objective biogeography-based method to optimize virtua...
收藏 引用
28th International Conference on software Engineering and Knowledge Engineering, SEKE 2016
作者: Shi, Kai Yu, Hui Qun Luo, Fei Fan, Gui Sheng Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China
Virtual machine consolidation (VMC) is an important issue in cloud computing, which can be used to reduce power consumption and achieve reasonable resource allocation. In this paper, an IMBBO algorithm is proposed to ... 详细信息
来源: 评论
A framework for Requirements specification of machine-learning systems  34
A framework for Requirements specification of machine-learni...
收藏 引用
34th International Conference on software Engineering and Knowledge Engineering, SEKE 2022
作者: Wang, Xi Miao, Weikai School of Computer Engineering and Science Shanghai University China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China Software Engineering Institute East China Normal University China
The rapid development of machine learning (ML) systems has raised many concerns over their quality. Due to the inherent complexity and uncertainty, most of the traditional quality assurance techniques have been challe... 详细信息
来源: 评论