咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
Measurement based software execution tracing in HIL (Hardware In the Loop) tests  10
Measurement based software execution tracing in HIL (Hardwar...
收藏 引用
IEEE/ASME 10th International Conference on Mechatronic and Embedded Systems and Applications (MESA)
作者: Scherer, Balazs Horvath, Gabor Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary
Statistics show that in most of the automotive developments the role of the electronics is getting more and more significant. Some say that today, 90 percent of all innovation in the automotive sector are driven by el... 详细信息
来源: 评论
Feature location using unit test coverage in an agile development environment
Feature location using unit test coverage in an agile develo...
收藏 引用
作者: DeLozier, Gregory S. Kent State University
学位级别:Ph.D.
The research investigates an effective, practical method for locating where software features are actually implemented in source code. The method is specifically aimed at software developed in agile process environmen... 详细信息
来源: 评论
Generating Software Test Data by Particle Swarm Optimization
Generating Software Test Data by Particle Swarm Optimization
收藏 引用
10th International Conference on Simulated Evolution and Learning (SEAL)
作者: Jia, Ya-Hui Chen, Wei-Neng Zhang, Jun Li, Jing-Jing Sun Yat Sen Univ Sch Informat Sci & Technol Guangzhou 510275 Guangdong Peoples R China Sun Yat Sen Univ Sch Adv Comp Guangzhou 510275 Guangdong Peoples R China Minist Educ Key Lab Machine Intelligence & Adv Comp Beijing Peoples R China MOE Engn Res Ctr Supercomp Engn Software Beijing Peoples R China S China Normal Univ Sch Comp Sci Guangzhou Guangdong Peoples R China
Search-based method using meta-heuristic algorithms is a hot topic in automatic test data generation. In this paper, we develop an automatic test data generating tool named particle swarm optimization data generation ... 详细信息
来源: 评论
Integrating Testing into Software Engineering Courses Supported by a Collaborative Learning Environment
收藏 引用
ACM TRANSACTIONS ON COMPUTING EDUCATION 2014年 第3期14卷 18-18页
作者: Clarke, Peter J. Davis, Debra King, Tariq M. Pava, Jairo Jones, Edward L. Florida Int Univ Sch Comp & Informat Sci Miami FL 33199 USA N Dakota State Univ Dept Comp Sci Fargo ND USA Florida A&M Univ Dept Comp & Informat Sci Tallahassee FL USA
As software becomes more ubiquitous and complex, the cost of software bugs continues to grow at a staggering rate. To remedy this situation, there needs to be major improvement in the knowledge and application of soft... 详细信息
来源: 评论
Designing multi-agent unit tests using systematic test design patterns-(extended version)
收藏 引用
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2013年 第9期26卷 2128-2142页
作者: Khamis, Mohamed A. Nagi, Khaled Egypt Japan Univ Sci & Technol Dept Comp Sci & Engn Alexandria 21934 Egypt Univ Alexandria Fac Engn Dept Comp & Syst Engn Alexandria Egypt
Software agents are the basic building blocks in many software systems especially those based on artificial intelligence methods, e.g., reinforcement learning based multi-agent systems (MASs). However, testing softwar... 详细信息
来源: 评论
Design and implementation of a dynamic symbolic execution tool for windows executables
收藏 引用
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2013年 第12期25卷 1249-1272页
作者: Chen, Ting Zhang, Xiao-song Zhu, Cong Ji, Xiao-li Guo, Shi-ze Wu, Yue Univ Elect Sci & Technol China Sch Comp Sci & Engn Chengdu 611731 Peoples R China Inst North Elect Equipment Beijing 100191 Peoples R China
Dynamic symbolic execution, or DSE for short, has become a promising technique in software testing. However, the implementation details of DSE have not been described in depth in existing works. Although some open-sou... 详细信息
来源: 评论
Covering and Uncovering Equivalent Mutants
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2013年 第5期23卷 353-374页
作者: Schuler, David Zeller, Andreas Univ Saarland D-66123 Saarbrucken Germany
Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to detect real defectsand hence should be i... 详细信息
来源: 评论
AURORA: AUtomatic RObustness coverage Analysis Tool
AURORA: AUtomatic RObustness coveRage Analysis Tool
收藏 引用
6th IEEE International Conference on Software Testing, Verification and Validation (ICST)
作者: Gargantini, Angelo Guarnieri, Marco Magri, Eros Univ Bergamo Dip Ing Informaz & Metodi Matemat Bergamo Italy ETH Inst Informat Secur Zurich Switzerland
code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very sensitive to modifications of the code structure, and, therefore, we can achieve the sa... 详细信息
来源: 评论
Equivalence Checking Between SLM and TLM Using coverage Directed Simulation
Equivalence Checking Between SLM and TLM Using Coverage Dire...
收藏 引用
13th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics)
作者: Hu, Jian Li, Tun Li, Sikun Natl Univ Def Technol Sch Comp Sci Changsha Hunan Peoples R China
The always increasing complexity of digital system makes designers start the design from more abstract System Level Modeling (SLM). However, the SLM arouses a new challenge for verification engineer to guarantee the f... 详细信息
来源: 评论
Targeted and Depth-first Exploration for Systematic Testing of Android Apps  13
Targeted and Depth-first Exploration for Systematic Testing ...
收藏 引用
2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages
作者: Azim, Tanzirul Neamtiu, Iulian Univ Calif Riverside Riverside CA 92521 USA
Systematic exploration of Android apps is an enabler for a variety of app analysis and testing tasks. Performing the exploration while apps run on actual phones is essential for exploring the full range of app capabil... 详细信息
来源: 评论