咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 244 篇 电子文献
  • 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 篇 药学(可授医学、理...

主题

  • 244 篇 code coverage
  • 42 篇 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 篇 英文
  • 4 篇 其他
  • 2 篇 中文
检索条件"主题词=code coverage"
244 条 记 录,以下是71-80 订阅
排序:
LgDb 2.0: Using Lguest for Kernel Profiling, code coverage and Simulation
LgDb 2.0: Using Lguest for Kernel Profiling, Code Coverage a...
收藏 引用
International Symposium on Performance Evaluation of Computer and Telecommunication Systems
作者: Eviatar Khen Nezer J. Zaidenberg Amir Averbuch Evgeny Fraimovitch School of Computer Science Tel Aviv University Department of Mathematical Information Technology University of Jyvaskyla
We present LgDb 2.0. The second generation of LgDb, an innovative framework for kernel code coverage, profiling and simulation. LgDb is built on top of Lguest and allows running an inspected kernel on a virtual enviro... 详细信息
来源: 评论
On the coverage of Program code by Specification-based Tests
On the Coverage of Program Code by Specification-based Tests
收藏 引用
9th International Conference on Quality Software (QSIC 2009)
作者: Yu, Y. T. Chan, Eric Y. K. Poon, P. -L. City Univ Hong Kong Dept Comp Sci Kowloon Tong Hong Kong Peoples R China Honkong Polytech Univ Hung Hom Sch Accounting & Finance Kowloon Hong Kong Peoples R China
Generating test cases from the specification can be done early in the software development life cycle. A test suite systematically generated from the software specification can be comprehensive in ensuring the intende... 详细信息
来源: 评论
UML Associations Reducing the Gap in Test coverage between Model and code  4
UML Associations <i>Reducing the Gap in Test Coverage betwee...
收藏 引用
4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
作者: Eriksson, Anders Lindstrom, Birgitta Univ Skovde Sch Informat Skovde Sweden Saab Aeronaut Linkoping Sweden
This paper addresses the overall problem of estimating the quality of a test suite when testing is performed at a platform-independent level, using executable UML models. The problem is that the test suite is often re... 详细信息
来源: 评论
MFTCP: Multiple Factors Based Test Case Prioritization
MFTCP: Multiple Factors Based Test Case Prioritization
收藏 引用
11th International Symposium on Computational Intelligence and Industrial Applications, ISCIIA 2024
作者: Cui, Can Wang, Zhi Wang, Shihai Liu, Bin North China Institute of Computing Technology Beijing 100083 China Beihang University Beijing 100191 China
In software regression testing, reorder the test cases to ensure the modified code does not introduce new effects and keep function right. Traditional coverage-based test case prioritization (TCP) approaches are Total... 详细信息
来源: 评论
Test suite reduction methods that decrease regression testing costs by identifying irreplaceable tests
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2014年 第10期56卷 1322-1344页
作者: Lin, Chu-Ti Tang, Kai-Wei Kapfhammer, Gregory M. Natl Chiayi Univ Dept Comp Sci & Informat Engn Chiayi Taiwan Inst Informat Ind Cloud Syst Software Inst Taipei Taiwan Allegheny Coll Dept Comp Sci Meadville PA 16335 USA
Context: In software development and maintenance, a software system may frequently be updated to meet rapidly changing user requirements. New test cases will be designed to ensure the correctness of new or modified fu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
coverage-Based Debloating for Java Bytecode
收藏 引用
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2023年 第2期32卷 1-34页
作者: Soto-Valero, Cesar Durieux, Thomas Harrand, Nicolas Baudry, Benoit KTH Royal Inst Technol Dept Software & Comp Syst Stockholm Sweden
Software bloat is code that is packaged in an application but is actually not necessary to run the application. The presence of software bloat is an issue for security, performance, and for maintenance. In this articl... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Improving coverage and Vulnerability Detection in Smart Contract Testing Using Self-Adaptive Learning GA
收藏 引用
IETE JOURNAL OF RESEARCH 2024年 第2期70卷 1593-1606页
作者: Sujeetha, R. Akila, K. SRM Inst Sci & Technol Coll Engn & Technol Dept Comp Sci & Engn 1 Jawaharlal Nehru RdVadapalani Campus Chennai Tamil Nadu India
In the domain of software testing, the generation of test cases is a critical process for detecting system errors and bugs. However, automated test case generation for smart contracts often encounters challenges relat... 详细信息
来源: 评论
Practical Mutation Testing at Scale: A view from Google
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2022年 第10期48卷 3900-3912页
作者: Petrovic, Goran Ivankovic, Marko Fraser, Gordon Just, Rene Google LLC CH-8002 Zurich Switzerland Univ Passau D-94032 Passau Germany Univ Washington Seattle WA 98105 USA
Mutation analysis assesses a test suite's adequacy by measuring its ability to detect small artificial faults, systematically seeded into the tested program. Mutation analysis is considered one of the strongest te... 详细信息
来源: 评论