咨询与建议

限定检索结果

文献类型

  • 169 篇 会议
  • 66 篇 期刊文献
  • 7 篇 学位论文
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 219 篇 工学
    • 153 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 66 篇 电气工程
    • 18 篇 信息与通信工程
    • 14 篇 控制科学与工程
    • 9 篇 电子科学与技术(可...
    • 3 篇 机械工程
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 动力工程及工程热...
  • 11 篇 理学
    • 7 篇 数学
    • 3 篇 生物学
    • 1 篇 化学
    • 1 篇 系统科学
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 2 篇 农学
  • 2 篇 医学
    • 2 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 243 篇 code coverage
  • 41 篇 software testing
  • 18 篇 testing
  • 17 篇 regression testi...
  • 14 篇 mutation testing
  • 10 篇 fuzzing
  • 10 篇 unit testing
  • 10 篇 dynamic analysis
  • 9 篇 android
  • 8 篇 test case genera...
  • 8 篇 software
  • 7 篇 instrumentation
  • 7 篇 empirical study
  • 7 篇 test suite reduc...
  • 7 篇 static analysis
  • 6 篇 software enginee...
  • 6 篇 symbolic executi...
  • 6 篇 automated testin...
  • 6 篇 fault detection
  • 6 篇 test generation

机构

  • 6 篇 univ szeged dept...
  • 4 篇 univ szeged mta ...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ waterloo wa...
  • 3 篇 nanjing univ sta...
  • 3 篇 brno university ...
  • 3 篇 univ illinois ur...
  • 3 篇 george mason uni...
  • 3 篇 univ fed rio gra...
  • 3 篇 avaya labs res b...
  • 3 篇 univ passau pass...
  • 3 篇 univ washington ...
  • 2 篇 univ calif river...
  • 2 篇 inst informat in...
  • 2 篇 wuhan univ sch c...
  • 2 篇 hong kong univ s...
  • 2 篇 univ edinburgh e...
  • 2 篇 huazhong univ sc...
  • 2 篇 budapest univ te...
  • 2 篇 microsoft res re...

作者

  • 8 篇 beszedes arpad
  • 8 篇 gyimothy tibor
  • 6 篇 gergely tamas
  • 5 篇 fraser gordon
  • 5 篇 just rene
  • 5 篇 balogh gergo
  • 4 篇 tengeri david
  • 4 篇 horvath ferenc
  • 4 篇 vancsics bela
  • 3 篇 zhou yuming
  • 3 篇 sezer sakir
  • 3 篇 pilgun aleksandr
  • 3 篇 anjum muhammad s...
  • 3 篇 groce alex
  • 3 篇 neamtiu iulian
  • 3 篇 li j. jenny
  • 3 篇 wong w. eric
  • 3 篇 yerima suleiman ...
  • 3 篇 ryan conor
  • 3 篇 alzaylaee mohamm...

语言

  • 238 篇 英文
  • 3 篇 其他
  • 2 篇 中文
检索条件"主题词=Code coverage"
243 条 记 录,以下是161-170 订阅
排序:
UCov: a user-defined coverage criterion for test case intent verification
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2016年 第6期26卷 460-491页
作者: Abou Assi, Rawad Masri, Wes Zaraket, Fadi Amer Univ Beirut Elect & Comp Engn Dept Beirut 11072020 Lebanon
The goal of regression testing is to ensure that the behaviour of existing code, believed correct by previous testing, is not altered by new program changes. This paper argues that the primary focus of regression test... 详细信息
来源: 评论
Cause reduction: delta debugging, even without bugs
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2016年 第1期26卷 40-68页
作者: Groce, Alex Alipour, Mohammad Amin Zhang, Chaoqiang Chen, Yang Regehr, John Oregon State Univ Corvallis OR 97331 USA Univ Utah Salt Lake City UT 84112 USA
What is a test case for? Sometimes, to expose a fault. Tests can also exercise code, use memory or time, or produce desired output. Given a desired effect, a test case can be seen as a cause, and its components divide... 详细信息
来源: 评论
Test-suite Reduction Based on K-medoids Clustering Algorithm
Test-suite Reduction Based on K-medoids Clustering Algorithm
收藏 引用
第九届网络分布式计算与知识发现国际会议( 2017 International Conference on Cyber-enabled distributed computing and knowledge discovery)
作者: Feng Liu Jun Zhang Er-zhou Zhu School of Computer Science and Technology Anhui University Hefei China
Software testing is a key approach to guarantee the software *** is the objective unremittingly pursed by virtue of effective testing cases in the shortest *** test suite optimization method is a NP-complete *** some ... 详细信息
来源: 评论
UTTOS: A Tool for Testing UEFI code in OS Environment  28th
UTTOS: A Tool for Testing UEFI Code in OS Environment
收藏 引用
28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS)
作者: Gomes, Eder C. M. Amora, Paulo R. P. Teixeira, Elvis M. Lima, Antonio G. S. Brito, Felipe T. Ciocari, Juliano F. C. Machado, Javam C. Univ Fed Ceara Dept Comp Sci Fortaleza Ceara Brazil Hewlett Packard Corp Porto Alegre RS Brazil
Unit tests are one of the most widely used tools to assure a minimal level of quality and compliance during development. However, they are not used in many projects where development takes place at low-level contexts.... 详细信息
来源: 评论
Are My Unit Tests in the Right Package?  16
Are My Unit Tests in the Right Package?
收藏 引用
16th IEEE International Working Conference on Source code Analysis and Manipulation (SCAM)
作者: Balogh, Gergo Gergely, Tamas Beszedes, Arpad Gyimothy, Tibor Univ Szeged Software Engn Dept Szeged Hungary
The software development industry has adopted written and de facto standards for creating effective and maintainable unit tests. Unfortunately, like any other source code artifact, they are often written without confo... 详细信息
来源: 评论
Addressing the Regression Test Problem with Change Impact Analysis for Ada  21st
Addressing the Regression Test Problem with Change Impact An...
收藏 引用
21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)
作者: Jones, Andrew V. Vector Software Inc London England
The regression test selection problem-selecting a subset of a test-suite given a change-has been studied widely over the past two decades. However, the problem has seen little attention when constrained to high-critic... 详细信息
来源: 评论
Will My Tests Tell Me If I Break This code?  1
Will My Tests Tell Me If I Break This Code?
收藏 引用
1st International Workshop on Continuous Software Evolution and Delivery (CSED)
作者: Niedermayr, Rainer Juergens, Elmar Wagner, Stefan CQSE GmbH Garching Germany Univ Stuttgart Stuttgart Germany
Automated tests play an important role in software evolution because they can rapidly detect faults introduced during changes. In practice, code-coverage metrics are often used as criteria to evaluate the effectivenes... 详细信息
来源: 评论
Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?  24
Automated Test Input Generation for Android: Are We Really T...
收藏 引用
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)
作者: Zeng, Xia Li, Dengfeng Zheng, Wujie Xia, Fan Deng, Yuetang Lam, Wing Yang, Wei Xie, Tao Tencent Inc Shenzhen Peoples R China Univ Illinois Urbana IL USA
Given the ever increasing number of research tools to automatically generate inputs to test Android applications (or simply apps), researchers recently asked the question "Are we there yet?" (in terms of the... 详细信息
来源: 评论
Integrated Formal Methods for Constructing Assurance Cases  27
Integrated Formal Methods for Constructing Assurance Cases
收藏 引用
27th IEEE International Symposium on Software Reliability Engineering (ISSRE)
作者: Carlan, Carmen Beyene, Tewodros A. Ruess, Harald Tech Univ Munich Fortiss An Inst D-80290 Munich Germany
The use of formal methods in verification activities is well established in various dedicated safety standards. Deficits in the verification process may have a negative impact on the confidence of verification results... 详细信息
来源: 评论
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2015年 第5-7期25卷 490-507页
作者: Just, Rene Schweiggert, Franz Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA Univ Ulm Dept Appl Informat Proc D-89069 Ulm Germany
Mutation analysis is a powerful but computationally expensive method to measure the effectiveness of a testing or debugging technique. The high cost is due, in part, to redundant mutants generated by commonly used mut... 详细信息
来源: 评论