Learning based Software Testing--Marriage between learning and testing

来源 :第三届中国演化计算与学习研讨会(ECOLE 2016) | 被引量 : 0次 | 上传用户:yongxi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Software contains bugs Including:operating systems,compilers,android apps,…,Software Testing Software testing,aims to guarantee the software quality
其他文献
公司简介利珀科技,教机器人看懂生产.杭州利珀科技是专注于机器视觉人工智能技术研发和应用的公司.当前产品主要应用于智慧工厂建设,为企业解决生产工艺监测、产品质量追溯、
OLED具有全固态、主动发光、高对比度、超薄、低功耗、无视角限制、响应速度快、工作温范围宽、易于实现柔性显示和3D显示等诸多优点。其第一代材料为荧光材料,第二代材料为磷
首先介绍了三明治结构薄膜,然后阐述了薄膜涂层精度,其次论述了三明治结构特点和工艺控制,最后介绍了量子点的发展。
论述了光学功能膜的发展趋势,介绍了光学功能膜跨平台功能的技术难点,最后阐述了其的新应用发展——做大反射平台。
To draw a precise picture of the hierarchy of coherent vortices in spatially periodic turbulence at high Reynolds numbers and to understand its generation mecha
会议
  The epsilon ε,which is introduced in Omega vortex identification criterion(Ω method)proposed by Liu et al.[1],has been determined as a function ε = 0.001
The most widely used definitions of a vortex are not objective:they identify different structures as vortices in frames that rotate relative to each other.
会议
  The generation of a hairpin vortex from near-wall streamwise vortices is studied via the direct numerical simulation(DNS)of the streak transient growth in t
While vortex identification is a problem of broad interest in fluid mechanics,the fluid mechanics community has not yet converged on a universally-accepted defi
会议
湍流被认为是经典物理学中最后一个没有解决的问题.《Science》杂志纪念创刊125周年时提出了今后1/4个世纪人类最重要的致力于解决的125个问题,其中第43个:"能否发展关于湍流