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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

56 篇 会议
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

32 篇 工学
- 32 篇 计算机科学与技术...
- 31 篇 软件工程
- 26 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 安全科学与工程
2 篇 理学
- 1 篇 数学
- 1 篇 物理学
2 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...

主题

12 篇 java
11 篇 software
9 篇 semantics
9 篇 abstracts
8 篇 measurement
7 篇 cloning
7 篇 algorithm design...
7 篇 software mainten...
6 篇 educational inst...
6 篇 java programming...
6 篇 encoding
5 篇 software systems
5 篇 libraries
5 篇 history
5 篇 static analysis
5 篇 syntactics
5 篇 context
5 篇 concrete
5 篇 testing
5 篇 open source soft...

机构

3 篇 univ saskatchewa...
3 篇 vrije univ bruss...
2 篇 univ notre dame ...
2 篇 university of ut...
2 篇 department of co...
2 篇 univ utah salt l...
1 篇 osaka daigaku su...
1 篇 department of so...
1 篇 blavatnik school...
1 篇 swat-mcis poly t...
1 篇 cert/sei
1 篇 software behavio...
1 篇 univ nacl colomb...
1 篇 federal universi...
1 篇 def res & dev ca...
1 篇 univ manouba han...
1 篇 sri internationa...
1 篇 ecole polytech m...
1 篇 software languag...
1 篇 univ arizona dep...

作者

3 篇 roy chanchal k.
3 篇 de roover coen
2 篇 liang shuying
2 篇 might matthew
2 篇 chanchal k. roy
2 篇 inoue katsuro
2 篇 haipeng cai
2 篇 sun weibin
2 篇 santelices raul
2 篇 gyimothy tibor
2 篇 raul santelices
2 篇 matthew might
2 篇 coen de roover
2 篇 jiang siyuan
2 篇 siyuan jiang
2 篇 tibor gyimóthy
2 篇 shuying liang
2 篇 cai haipeng
2 篇 weibin sun
1 篇 sumukhi chandras...

语言

57 篇 英文

检索条件"任意字段=14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014"

共 57 条记录，以下是1-10 订阅

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

详细简洁

排序：

Proceedings - 2014 14th ieee international working conference on source code analysis and manipulation, scam 2014

Proceedings - 2014 14th IEEE International Working Conferenc...

引用

14th ieee international working conference on source code analysis and manipulation, scam 2014

ISBN: (纸本)9780769553047

the proceedings contain 35 papers. the topics discussed include: effect of clone information on the performance of developers fixing cloned bugs;a comparative study of bug patterns in java cloned and non-cloned code;a change-type based empirical study on the stability of cloned code;toolset and program repository for code coverage-based test suite analysis and manipulation;the Ekeko/X program transformation tool;Flowgen: flowchart-based documentation framework for C++;PESTO: a tool for migrating DOM-based to visual web tests;Pangea: a workbench for statically analyzing multi-language software corpora;source meter sonar Qube plug-in;total ADS: automated software anomaly detection system;bulk fixing coding issues and its effects on software quality: is it worth refactoring?;instrumentation of annotated c programs for test generation;and impact of code refactoring using object-oriented methodology on a scientific computing application.

关键词：

来源：评论

学校读者我要写书评

暂无评论

sourceMeter SonarQube plug-in 14

SourceMeter SonarQube plug-in

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Ferenc, Rudolf Lango, Laszlo Siket, Istvan Gyimothy, Tibor Bakota, Tibor Univ Szeged Dept Software Engn H-6720 Szeged Hungary FrontEndART Software Ltd H-6722 Szeged Hungary

ISBN: (纸本)9780769553047

the sourceMeter SonarQube plug-in is an extension of SonarQube, an open-source platform for managing code quality made by Sonarsource S.A, Switzerland. the plug-in extends the built-in Java code analysis engine of SonarQube with FrontEndART's high-end Java code analysis engine. Most of SonarQubes original analysis results are replaced (including the detected source code duplications), while the range of available analyses is extended with a number of additional metrics and issue detectors. Additionally, the plug-in offers new GUI features on the SonarQube dashboard and drill-down views, making the SonarQube user experience more comfortable and the work with the tool more productive.

关键词： sourceMeter SonarQube plug-in software quality metrics clone detection coding issues

来源：评论

学校读者我要写书评

暂无评论

On the Use of Context in Recommending Exception Handling code Examples 14

On the Use of Context in Recommending Exception Handling Cod...

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Rahman, Mohammad Masudur Roy, Chanchal K. Univ Saskatchewan Dept Comp Sci Saskatoon SK S7N 0W0 Canada

ISBN: (纸本)9780769553047

Studies show that software developers often either misuse exception handling features or use them inefficiently, and such a practice may lead an undergoing software project to a fragile, insecure and non-robust application system. In this paper, we propose a context-aware code recommendation approach that recommends exception handling code examples from a number of popular open source code repositories hosted at Github. It collects the code examples exploiting Github code search API, and then analyzes, filters and ranks them against the code under development in the IDE by leveraging not only the structural (i.e., graph-based) and lexical features but also the heuristic quality measures of exception handlers in the examples. Experiments with 4,400 code examples and 65 exception handling scenarios as well as comparisons with four existing approaches show that the proposed approach is highly promising.

关键词： Exception handler context-relevance lexical similarity structural similarity

来源：评论

学校读者我要写书评

暂无评论

Scalable Security Verification of Software at Compile Time 14

Scalable Security Verification of Software at Compile Time

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Tlili, Syrine Fernandez, Jose M. Belghith, Abdelfettah Dridi, Bilel Hidouri, Soufien Univ Manouba Hana Res Lab Tunis Tunisia Ecole Polytech Montreal PQ H3C 3A7 Canada Univ Carthage Tunis Tunisia

ISBN: (纸本)9780769553047

Automated verification tools are required to detect coding errors that may lead to severe software vulnerabilities. However, the usage of these tools is still not well integrated into software development life cycle. In this paper, we present our approach that brings the software compilation process and security verification to a meeting point where both can be applied simultaneously in a user-friendly manner. Our security verification engine is implemented as a new GCC pass that can be enabled via flag -fsecurity-check=checks. xml where the input XML file contains a set of user-defined security checks. the verification operates on the GIMPLE intermediate representation of source code that is language and platform independent. the conducted experiments demonstrate the scalability, efficiency and performance of our engine used to verify large scale software, especially the entire Linux kernel source code.

关键词： Static analysis GCC Security Verification Finite State Automata

来源：评论

学校读者我要写书评

暂无评论

Bit-Level Taint analysis 14

Bit-Level Taint Analysis

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Yadegari, Babak Debray, Saumya Univ Arizona Dept Comp Sci Tucson AZ 85721 USA

ISBN: (纸本)9780769553047

Taint analysis has a wide variety of applications in software analysis, making the precision of taint analysis an important consideration. Current taint analysis algorithms, including previous work on bit-precise taint analyses, suffer from shortcomings that can lead to significant loss of precision (under/over tainting) in some situations. this paper discusses these limitations of existing taint analysis algorithms, shows how they can lead to imprecise taint propagation, and proposes a generalization of current bit-level taint analysis techniques to address these problems and improve their precision. Experiments using a deobfuscation tool indicate that our enhanced taint analysis algorithm leads to significant improvements in the quality of deobfuscation.

关键词： data flow analysis bit-level taint analysis bit-precise taint analysis deobfuscation tool software analysis taint analysis algorithms taint propagation Algorithm design and analysis Data handling Heuristic algorithms Performance analysis Registers Semantics Standards Program Understanding Reverse Engineering Taint analysis Reverse engineering Taints Algorithm design and analysis data flow analysis data processing Registers Heuristic algorithms Semantics

来源：评论

学校读者我要写书评

暂无评论

SENSA: Sensitivity analysis for Quantitative Change-impact Prediction 14

SENSA: Sensitivity Analysis for Quantitative Change-impact P...

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Cai, Haipeng Jiang, Siyuan Santelices, Raul Zhang, Ying-jie Zhang, Yiji Univ Notre Dame Notre Dame IN 46556 USA Tsinghua Univ Beijing 100084 Peoples R China

ISBN: (纸本)9780769553047

Sensitivity analysis determines how a system responds to stimuli variations, which can benefit important software-engineering tasks such as change-impact analysis. We present SENSA, a novel dynamic-analysis technique and tool that combines sensitivity analysis and execution differencing to estimate the dependencies among statements that occur in practice. In addition to identifying dependencies, SENSA quantifies them to estimate how much or how likely a statement depends on another. Quantifying dependencies helps developers prioritize and focus their inspection of code relationships. To assess the benefits of quantifying dependencies with SENSA, we applied it to various statements across Java subjects to find and prioritize the potential impacts of changing those statements. We found that SENSA predicts the actual impacts of changes to those statements more accurately than static and dynamic forward slicing. Our SENSA prototype tool is freely available for download.

关键词： Change-impact prediction dependence analysis execution differencing sensitivity analysis

来源：评论

学校读者我要写书评

暂无评论

Toolset and Program Repository for code Coverage-Based Test Suite analysis and manipulation 14

Toolset and Program Repository for Code Coverage-Based Test ...

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Tengeri, David Beszedes, Arpad Havas, David Gyimothy, Tibor Univ Szeged Dept Software Engn Szeged Hungary

ISBN: (纸本)9780769553047

code coverage is often used in academic and industrial practice of white-box software testing. Various test optimization methods, e.g. test selection and prioritization, rely on code coverage information, but other related fields benefit from it as well, such as fault localization. these methods require access to the fine details of coverage information and efficient ways of processing this data. the purpose of the (free) SoDA library and toolset is to provide an efficient set of data structures and algorithms which can be used to prepare, store and analyze in various ways data related to code coverage. the focus of SoDA is not on the calculation of coverage data (such as instrumentation and test execution) but on the analysis and manipulation of test suites based on such information. An important design goal of the library was to be usable on industrial-size programs and test suites. Furthermore, there is no limitation on programming language, analysis granularity and coverage criteria. In this paper, we demonstrate the purpose and benefits of the library, the associated toolset, which also includes a graphical user interface, as well as possible usage scenarios. SoDA also includes a repository of prepared programs, which are from small to large sizes and can be used for experimentation and as a benchmark for code coverage related research.

关键词： Regression testing test suite analysis test suite optimization code coverage program repository

来源：评论

学校读者我要写书评

暂无评论

Pruning, Pushdown Exception-Flow analysis 14

Pruning, Pushdown Exception-Flow Analysis

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Liang, Shuying Sun, Weibin Might, Matthew Keep, Andy Van Horn, David Univ Utah Salt Lake City UT 84112 USA Univ Maryland College Pk MD 20742 USA

ISBN: (纸本)9780769553047

Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and points-to analyses. We tackle the challenge of analyzing exception-flows from two angles. First, from the angle of pruning control-flows (both normal and exceptional), we derive a pushdown framework for an object-oriented language with full-featured exceptions. Unlike traditional analyses, it allows precise matching of throwers to catchers. Second, from the angle of pruning points-to information, we generalize abstract garbage collection to object-oriented programs and enhance it with liveness analysis. We then seamlessly weave the techniques into enhanced reachability computation, yielding highly precise exception-flow analysis, without becoming intractable, even for large applications. We evaluate our pruned, pushdown exception-flow analysis, comparing it with an established analysis on large scale standard Java benchmarks. the results show that our analysis significantly improves analysis precision over traditional analysis within a reasonable analysis time.

关键词： abstract garbage collection exception-flow analysis pushdown analysis Static analysis

来源：评论

学校读者我要写书评

暂无评论

Studying Fine-Grained Co-Evolution Patterns of Production and Test code 14

Studying Fine-Grained Co-Evolution Patterns of Production an...

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Marsavina, Cosmin Romano, Daniele Zaidman, Andy Delft Univ Technol NL-2600 AA Delft Netherlands

ISBN: (纸本)9780769553047

Numerous software development practices suggest updating the test code whenever the production code is changed. However, previous studies have shown that co-evolving test and production code is generally a difficult task that needs to be thoroughly investigated. In this paper we perform a study that, following a mixed methods approach, investigates fine-grained co-evolution patterns of production and test code. First, we mine fine-grained changes from the evolution of 5 open-source systems. then, we use an association rule mining algorithm to generate the co-evolution patterns. Finally, we interpret the obtained patterns by performing a qualitative analysis. the results show 6 co-evolution patterns and provide insights into their appearance along the history of the analyzed software systems. Besides providing a better understanding of how test code evolves, these findings also help identify gaps in the test code thereby assisting both researchers and developers.

关键词： data mining program testing public domain software software engineering association rule mining algorithm coevolving test fine-grained coevolution patterns mixed methods approach open-source systems production code software development practices test code Association rules Educational institutions Production Software systems Statistical analysis Testing test codes Software systems Association rules open source software program testing Educational institutions Software engineering data mining Software design computer software

来源：评论

学校读者我要写书评

暂无评论

Fast Flow analysis with Godel Hashes 14

Fast Flow Analysis with Godel Hashes

引用

14th ieee international working conference on source code analysis and manipulation (scam)

作者： Liang, Shuying Sun, Weibin Might, Matthew Univ Utah Salt Lake City UT 84112 USA

ISBN: (纸本)9780769553047

Flow analysis, such as control-flow, data-flow, and exception-flow analysis, usually depends on relational operations on flow sets. Unfortunately, set related operations, such as inclusion and equality, are usually very expensive. they can easily take more than 97% of the total analyzing time, even in a very simple analysis. We attack this performance bottleneck by proposing Godel hashes to enable fast and precise flow analysis. Godel hashes is an ultra compact, partial-order-preserving, fast and perfect hashing mechanism, inspired by the proofs of Godel's incompleteness theorems. Compared with array-, tree-, traditional hash-, and bit vector-backed set implementations, we find Godel hashes to be tens or even hundreds of times faster for performance in the critical operations of inclusion and equality. We apply Godel hashes in real-world analysis for object-oriented programs. the instrumented analysis is tens of times faster than the one with original data structures on DaCapo benchmarks.

关键词： Arrays Benchmark testing Complexity theory Encoding Finite element analysis Hardware Flow analysis Godel Hashes data structure Flow analysis Benchmark testing Complexity theory Data structures Computer hardware Finite element method Equality relational operator Fasting arrays

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：