检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

217 篇 工学
- 150 篇 计算机科学与技术...
- 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 条记录，以下是131-140 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

GoldRusher: A Miner for Rapid Identification of Hidden code 25

GoldRusher: A Miner for Rapid Identification of Hidden Code

引用

25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

作者： Salem, Aleieldin Tech Univ Munich Garching Germany

GoldRusher is a dynamic analysis tool primarily meant to aid reverse engineers with analyzing malware. Based on the fact that hidden code segments rarely execute, the tool is able to rapidly highlight functions and ba... 详细信息

ISBN: (纸本)9781538649695

关键词： Reverse Engineering Obfuscation Hidden code code coverage Malware

来源：评论

学校读者我要写书评

暂无评论

Behavioral test generation for VHDL processes 12

Behavioral test generation for VHDL processes

引用

12th International Conference on Microelectronics (ICM 2000)

作者： Gharehbaghi, AM Navabi, Z Univ Tehran Dept Elect & Comp Engn Fac Engn Tehran 14399 Iran

ISBN: (纸本)9643600572

In this paper two test generation algorithms for VHDL processes will be presented. The first algorithm works on combinational processes whereas the second works on sequential processes. The goal of both algorithms is testing all portions of the design by traversing all the possible paths. The VHDL subset we have considered in these algorithms covers almost 90 percent of ordinary designs. Our approach in this paper is employing software testing metrics as well as state and transition coverage for FSMs.

关键词： high-level test generation functional verification code coverage FSM VHDL

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimization Based Software Testing Using Kansei Quality Approach 2

Multi-objective Optimization Based Software Testing Using Ka...

引用

2nd International Conference on Information Systems Design and Intelligent Applications (INDIA)

作者： Shilpa Choudhary, Kavita ITM Univ Gurgoan Haryana India

ISBN: (纸本)9788132222477;9788132222460

Software testing suggests the quality of the software product. More the effective testing means high quality software product. In this paper we have identified and prioritized the parameters according to the perspective of different entities involved in software lifecycle. The prime objective of the paper is to perform software testing from the perspective of Kansei Engineering methodology with multi-objective optimization.

关键词： Kansei approach Multi-objective optimization Fault tolerance Accuracy code coverage

来源：评论

学校读者我要写书评

暂无评论

Combined Source code Approach for Test Case Prioritization 18

Combined Source Code Approach for Test Case Prioritization

引用

International Conference on Information Science and System (ICISS)

作者： IyadAlazzam Nahar, Khalid M. O. Yarmouk Univ Dept Comp Informat Syst Irbid 21163 Jordan Yarmouk Univ Comp Sci Dept Irbid 21163 Jordan

ISBN: (纸本)9781450364218

Regression testing is an activity in the software testing process to ensure the software is validated and verified after modification occurred on software. It is costly process procedure which has been expected to reach half cost of the software maintenance cost. Many techniques and approaches have been used in regression testing process to enhance the efficiency and effectiveness of regression testing process. Such as test case reduction, test case selection, test case prioritization and retest all. Test case prioritization has been used in regression testing to increase the effectiveness through selecting the most vital test case that has the ability in finding and uncovering errors in the system under test. This paper has introduced a new algorithm for prioritizing test cases in test suite that is based on method and line of code coverage. Test cases which cover the most methods and line of code are more effective and efficient in finding errors.

关键词： Software testing Regression testing code coverage Test case prioritization Test case

来源：评论

学校读者我要写书评

暂无评论

A Large-Scale Study of Test coverage Evolution 18

A Large-Scale Study of Test Coverage Evolution

引用

33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Hilton, Michael Bell, Jonathan Marinov, Darko Carnegie Mellon Univ Pittsburgh PA 15213 USA George Mason Univ Fairfax VA 22030 USA Univ Illinois Urbana IL USA

ISBN: (数字)9781450359375

ISBN: (纸本)9781450359375

Statement coverage is commonly used as a measure of test suite quality. coverage is often used as a part of a code review process: if a patch decreases overall coverage, or is itself not covered, then the patch is scrutinized more closely. Traditional studies of how coverage changes with code evolution have examined the overall coverage of the entire program, and more recent work directly examines the coverage of patches (changed statements). We present an evaluation much larger than prior studies and moreover consider a new, important kind of change coverage changes of unchanged statements. We present a large-scale evaluation of code coverage evolution over 7,816 builds of 47 projects written in popular languages including Java, Python, and Scala. We find that in large, mature projects, simply measuring the change to statement coverage does not capture the nuances of code evolution. Going beyond considering statement coverage as a simple ratio, we examine how the set of statements covered evolves between project revisions. We present and study new ways to assess the impact of a patch on a project's test suite quality that both separates coverage of the patch from coverage of the non-patch, and separates changes in coverage from changes in the set of statements covered.

关键词： Software testing code coverage empirical study flaky tests

来源：评论

学校读者我要写书评

暂无评论

Input and Output coverage Needed in File System Testing 23

Input and Output Coverage Needed in File System Testing

引用

15th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage)

作者： Liu, Yifei Ahuja, Gautam Kuenning, Geoff Smolka, Scott A. Zadok, Erez SUNY Stony Brook Stony Brook NY 11794 USA Harvey Mudd Coll Claremont CA USA

ISBN: (纸本)9798400702242

File systems need testing to discover bugs and to help ensure reliability. Many file system testing tools are evaluated based on their code coverage. We analyzed recently reported bugs in Ext4 and BtrFS and found a weak correlation between code coverage and test effectiveness: many bugs are missed because they depend on specific inputs, even though the code was covered by a test suite. Our position is that coverage of system call inputs and outputs is critically important for testing file systems. We thus suggest input and output coverage as criteria for file system testing, and show how they can improve the effectiveness of testing. We built a prototype called IOCov to evaluate the input and output coverage of file system testing tools. IOCov identified many untested cases (specific inputs and outputs or ranges thereof) for both CrashMonkey and xfstests. Additionally, we discuss a method and associated metrics to identify over- and undertesting using IOCov.

关键词： File System Testing code coverage Input coverage Output coverage

来源：评论

学校读者我要写书评

暂无评论

Data-Flow Testing of Declarative Programs

Data-Flow Testing of Declarative Programs

引用

13th ACM SIGPLAN International Conference on Functional Programming

作者： Fischer, Sebastian Kuchen, Herbert Univ Kiel Dept Comp Sci D-24098 Kiel Germany

ISBN: (纸本)9781595939197

We propose a novel notion of data-flow coverage for testing declarative programs. Moreover, we extend an automatic test-case generator such that it can achieve data-flow coverage. The coverage information is obtained by instrumenting a program such that it collects coverage information during its execution. Finally, we show the benefits of data-flow based testing for a couple of example applications.

关键词： code coverage Data Flow Curry

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous Testing for coverage Profilers Empowered with Debugging Support 2023

Heterogeneous Testing for Coverage Profilers Empowered with ...

引用

31st ACM Joint Meeting of the European Software Engineering Conference / Symposium on the Foundations-of-Software-Engineering (ESEC/FSE)

作者： Yang, Yibiao Sun, Maolin Wang, Yang Li, Qingyang Wen, Ming Zhou, Yuming Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China Huazhong Univ Sci & Technol Sch Cyber Sci & Engn Wuhan Peoples R China

ISBN: (纸本)9798400703270

Ensuring the correctness of code coverage profilers is crucial, given the widespread adoption of code coverage for various software engineering tasks. Existing validation techniques, such as differential testing and metamorphic testing, have shown effectiveness in uncovering bugs in coverage profilers. However, these techniques have limitations as they primarily rely on homogeneous sources, i.e., different coverage profilers or the profilers themselves, for validation. In this paper, we propose Decov, a novel heterogeneous testing technique, to validate coverage profilers using the information provided by debuggers as a heterogeneous source. coverage profilers record execution counts for each source line in the program, while debuggers monitor hit counts for each source line when running the program in debug mode. Our key insight is that the execution counts obtained from coverage profilers should align with the hit counts monitored by debuggers, without conflicts. Decov constructs multiple heterogeneous relations and utilizes them to uncover bugs in coverage profilers. Through experiments on Gcov and LLVM-cov, two widely used code coverage profilers, we discovered 21 new bug reports, with 19 of them directly confirmed by developers. Notably, developers have resolved 5 bugs in the latest trunk version. Decov serves as a simple yet effective coverage profiler validator and offers a complementary approach to existing techniques.

关键词： code coverage coverage profiler bug detection debugging support heterogeneous testing

来源：评论

学校读者我要写书评

暂无评论

Haskell Program coverage

Haskell Program Coverage

引用

11th ACM SIGPLAN Haskell Workshop

作者： Gill, Andy Runciman, Colin Galois Inc. University of York

We describe the design, implementation and use of HPC, a tool-kit to record and display Haskell Program coverage. HPC includes tools that instrument Haskell programs to record program coverage, run instrumented progra... 详细信息

ISBN: (纸本)9781595936745

关键词： Haskell Software Engineering code coverage

来源：评论

学校读者我要写书评

暂无评论

NESTFUZZ: Enhancing Fuzzing with Comprehensive Understanding of Input Processing Logic 23

NESTFUZZ: Enhancing Fuzzing with Comprehensive Understanding...

引用

30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS)

作者： Deng, Peng Yang, Zhemin Zhang, Lei Yang, Guangliang Hong, Wenzheng Zhang, Yuan Yang, Min Fudan Univ Shanghai Peoples R China

ISBN: (纸本)9798400700507

Fuzzing is one of the most popular and practical techniques for security analysis. In this work, we aim to address the critical problem of high-quality input generation with a novel input-aware fuzzing approach called NESTFUZZ. NESTFUZZ can universally and automatically model input format specifications and generate valid input. The key observation behind NESTFUZZ is that the code semantics of the target program always highly imply the required input formats. Hence, NESTFUZZ applies fine-grained program analysis to understand the input processing logic, especially the dependencies across different input fields and substructures. To this end, we design a novel data structure, namely Input Processing Tree, and a new cascading dependency-aware mutation strategy to drive the fuzzing. Our evaluation of 20 intensively-tested popular programs shows that NestFuzz is effective and practical. In comparison with the state-of-the-art fuzzers (AFL, AFLFast, AFL++, MOpt, AFLSmart, WEIZZ, ProFuzzer, and TIFF), NestFuzz achieves outperformance in terms of both code coverage and security vulnerability detection. NESTFUZZ finds 46 vulnerabilities that are both unique and serious. Until the moment this paper is written, 39 have been confirmed and 37 have been assigned with CVE-ids.

关键词： Fuzzing Structure-aware code coverage Vulnerability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共25页 << < 10 11 12 13 14 15 16 17 18 19 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：