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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

934 篇 会议
23 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

609 篇 工学
- 550 篇 软件工程
- 414 篇 计算机科学与技术...
- 133 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 生物工程
- 12 篇 信息与通信工程
- 4 篇 材料科学与工程（可...
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
- 2 篇 机械工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 1 篇 建筑学
- 1 篇 环境科学与工程（可...
38 篇 理学
- 17 篇 数学
- 13 篇 生物学
- 6 篇 化学
- 5 篇 物理学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
29 篇 管理学
- 19 篇 图书情报与档案管...
- 16 篇 管理科学与工程(可...
- 5 篇 工商管理
3 篇 经济学
- 3 篇 应用经济学
3 篇 教育学
- 3 篇 教育学
2 篇 医学
- 2 篇 临床医学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学

主题

111 篇 software
107 篇 java
102 篇 static analysis
78 篇 source coding
74 篇 open source soft...
57 篇 software systems
54 篇 codes
51 篇 visualization
44 篇 measurement
43 篇 tools
42 篇 task analysis
42 篇 algorithm design...
38 篇 data mining
37 篇 cloning
36 篇 testing
35 篇 libraries
35 篇 software enginee...
35 篇 semantics
34 篇 computer bugs
33 篇 programming

机构

11 篇 vrije univ bruss...
8 篇 delft university...
8 篇 univ szeged dept...
7 篇 delft univ techn...
7 篇 delft university...
7 篇 kent state univ ...
6 篇 queens univ sch ...
6 篇 fraunhofer iem p...
6 篇 univ bern softwa...
5 篇 department of so...
5 篇 software analysi...
5 篇 ucl england
5 篇 eindhoven univer...
5 篇 paderborn univ p...
5 篇 eindhoven univ t...
5 篇 univ akron dept ...
4 篇 department of so...
4 篇 vrije univ bruss...
4 篇 univ saskatchewa...
4 篇 univ bern softwa...

作者

17 篇 de roover coen
10 篇 roy chanchal k.
10 篇 stievenart quent...
10 篇 coen de roover
9 篇 poshyvanyk denys
8 篇 ferenc rudolf
7 篇 inoue katsuro
7 篇 ahmed e. hassan
7 篇 van deursen arie
6 篇 moonen leon
6 篇 bodden eric
6 篇 gyimothy tibor
6 篇 harman mark
6 篇 collard michael ...
6 篇 gall harald c.
6 篇 bram adams
6 篇 zaidman andy
6 篇 quentin stiévena...
6 篇 adams bram
5 篇 serebrenik alexa...

语言

952 篇 英文
6 篇 其他

检索条件"任意字段=IEEE Working Conference on Source Code Analysis and Manipulation"

共 958 条记录，以下是61-70 订阅

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

详细简洁

排序：

Challenges of Implementing Cross Translation Unit analysis in Clang Static Analyzer 18

Challenges of Implementing Cross Translation Unit Analysis i...

引用

18th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Horvath, Gabor Szecsi, Peter Gera, Zoltan Krupp, Daniel Pataki, Norbert Eotovos Lorand Univ Dept Programming Languages & Compilers Budapest Hungary Ericsson Ltd Budapest Hungary

ISBN: (纸本)9781538682906

Static analysis is a great approach to find bugs and code smells. Some of the errors span across multiple translation units. Unfortunately, separate compilation makes cross translation unit analysis challenging for C family languages. In this paper, we describe a model and an implementation for cross translation unit symbolic execution for C family languages. We were able to extend the scope of the analysis without modifying any of the existing checkers. The analysis is implemented in the open source Clang compiler. We also measured the performance of the approach and the quality of the reports. The solution proved to be scalable to large codebases and the number of findings increased significantly for the evaluated projects. The implementation is already accepted into mainline Clang [1].

关键词： static analysis symbolic execution cross translation unit Clang whole program analysis

来源：评论

学校读者我要写书评

暂无评论

Unambiguity of Python Language Elements for Static analysis 21

Unambiguity of Python Language Elements for Static Analysis

引用

21st ieee International working conference on source code analysis and manipulation (SCAM)

作者： Nagy, Bence Brunner, Tibor Porkolab, Zoltan Eotvos Lorand Univ Budapest 1117 Pazmany Peter Setany 1-C Budapest Hungary

ISBN: (纸本)9781665448970

Static analysis is a technique for gathering some meaningful information during compilation-time and using it for further processing. This technique is applied in bug finding, code comprehension and in many other areas. However, static analysis gives a static view of the source and provides limited information about the dynamic behavior of a program. This limitation is generally considered to be a major barrier for dynamically typed languages, like Python, since in many situations it is hard to derive the most basic properties of variables or functions, sometimes we can't even find the location of their definition. In this paper we present our experimental results that show this is not necessary a hard barrier in practical industrial projects. We analyzed open-source Python libraries, including the Python Standard Library itself as part of the codeCompass code comprehension framework, and found that in a high number of the cases it was possible to decide the mentioned important features in unambiguous way. The consistent coding conventions make it possible to reduce unambiguity in static analysis of dynamic languages.

关键词： Visualization codes Navigation Static analysis Libraries Performance analysis Standards

来源：评论

学校读者我要写书评

暂无评论

SCALA-AM: A Modular Static analysis Framework 16

SCALA-AM: A Modular Static Analysis Framework

引用

16th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Stievenart, Quentin Vandercammen, Maarten De Meuter, Wolfgang De Roover, Coen Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781509038497

We present SCALA-AM, a modular framework for static analysis based on systematic abstraction of abstract machines. SCALA-AM achieves modularity by separating operational semantics, abstract values and machine abstraction concerns via actions, thus enabling language designers, static analysis developers and machine abstraction experts to combine their efforts. This modularity enables us to support semantics for multiple languages, and to include multiple machine abstractions in our framework. Different operational semantics and machine abstractions can then be combined with minimal effort. We evaluate our framework by demonstrating how it enables implementing machine abstractions independently of the operational semantics, and by instantiating the framework for a static taint analysis of Scheme.

关键词： Abstract interpretation Framework Static analysis

来源：评论

学校读者我要写书评

暂无评论

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments 20

Out of Sight, Out of Place: Detecting and Assessing Swapped ...

引用

20th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Scott, Roger Ranieri, Joseph Kot, Lucja Kashyap, Vineeth GrammaTech Inc Ithaca NY USA

ISBN: (纸本)9781728192482

Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically discount this information when they look for bugs in a program. In this work, we describe the design and implementation of a static analysis checker called SWAPD, which uses the natural language information in programs to warn about mistakenly-swapped arguments at call sites. SWAPD combines two independent detection strategies to improve the effectiveness of the overall checker. We present the results of a comprehensive evaluation of SWAPD over a large corpus of C and C++ programs totaling 417 million lines of code. In this evaluation, SWAPD found 154 manually-vetted real-world cases of mistakenly-swapped arguments, suggesting that such errors-while not pervasive in released code-are a real problem and a worthwhile target for static analysis.

关键词： static analysis natural language swapped arguments big code

来源：评论

学校读者我要写书评

暂无评论

Intent, Tests, and Release Dependencies: Pragmatic Recipes for source code Integration 15

Intent, Tests, and Release Dependencies: Pragmatic Recipes f...

引用

15th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Brandtner, Martin Leitner, Philipp Gall, Harald C. Univ Zurich Dept Informat CH-8006 Zurich Switzerland

ISBN: (纸本)9781467375290

Continuous integration of source code changes, for example, via pull-request driven contribution channels, has become standard in many software projects. However, the decision to integrate source code changes into a release is complex and has to be taken by a software manager. In this work, we identify a set of three pragmatic recipes plus variations to support the decision making of integrating code contributions into a release. These recipes cover the isolation of source code changes, contribution of test code, and the linking of commits to issues. We analyze the development history of 21 open-source software projects, to evaluate whether, and to what extent, those recipes are followed in open-source projects. The results of our analysis showed that open-source projects largely follow recipes on a compliance level of > 7 5 %. Hence, we conclude that the identified recipes plus variations can be seen as wide-spread relevant best-practices for source code integration.

关键词： decision making program testing project management public domain software source code (software) intent open-source software projects pragmatic recipe release dependency source code change isolation source code integration test code contribution Companies Guidelines Interviews Lead Open source software Pragmatics open source software source code Recipes Pragmatics program testing decision making Project management Companies Interviews open source Lead test codes

来源：评论

学校读者我要写书评

暂无评论

code Clustering Workbench

Code Clustering Workbench

引用

13th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Annervaz, K. M. Kaulgud, Vikrant Misra, Janardan Sengupta, Shubhashis Titus, Gary Munshi, Azmat Accenture Technol Labs Bangalore Karnataka India

ISBN: (纸本)9781467357395

source code clustering is an important technique used in software development and maintenance to understand the modular structure of code. An array of algorithms are available for clustering like simulated annealing based search. source code have different kinds of features such as structural or textual features. The collection of these different types of source code features and computation of relevant feature metrics is a difficult task. Further, the clustering algorithms can run on metrics based on different types of source code features or their combinations. This flexibility makes it non-trivial to test effectiveness of clustering algorithms on a source code. In this paper, we present a highly configurable clustering workbench that allows the user to collect the various source code features and then to select the code features used for clustering, the clustering algorithm and its various parameters. Clustering quality metrics are computed. They allow comparison of algorithm output based on different combinations of code-features and algorithms. We also present the specific contribution made in multi-dimensional feature analysis and clustering. The tool hides the algorithm complexity from the user, thus allowing complete focus on understanding the 'effect' of the configuration choices. We have also applied this tool in real-life maintenance projects, where the users found it useful to tweak the clustering techniques for the source-code peculiarities.

关键词： Clustering source code analysis Semantic Indexing Experimental Workbench

来源：评论

学校读者我要写书评

暂无评论

How Good is Static analysis at Finding Concurrency Bugs?

How Good is Static Analysis at Finding Concurrency Bugs?

引用

10th ieee working conference on source code analysis and manipulation (SCAM)

作者： Kester, Devin Mwebesa, Martin Bradbury, Jeremy S. Univ Ontario Inst Technol Fac Sci Comp Sci Software Qual Res Grp Oshawa ON Canada

ISBN: (纸本)9780769541785

Detecting bugs in concurrent software is challenging due to the many different thread interleavings. Dynamic analysis and testing solutions to bug detection are often costly as they need to provide coverage of the interleaving space in addition to traditional black box or white box coverage. An alternative to dynamic analysis detection of concurrency bugs is the use of static analysis. This paper examines the use of three static analysis tools (FindBugs, JLint and Chord) in order to assess each tool's ability to find concurrency bugs and to identify the percentage of spurious results produced. The empirical data presented is based on an experiment involving 12 concurrent Java programs.

关键词： static analysis concurrency data race deadlock empirical software engineering

来源：评论

学校读者我要写书评

暂无评论

Tuning Static Data Race analysis for Automotive Control Software

Tuning Static Data Race Analysis for Automotive Control Soft...

引用

11th ieee International working conference on source code analysis and manipulation/ieee International conference on Software Maintenance/ieee International Symposium on Web Systems Evolution/VISSOFT/MESOCA

作者： Keul, Steffen Univ Stuttgart Dept Programming Languages ISTE Stuttgart Germany

ISBN: (纸本)9780769543475

Implementation of concurrent software systems is difficult and error-prone. Race conditions can cause intermittent failures, which are rarely found during testing. In safety-critical applications, the absence of race conditions should be demonstrated before deployment of the system. Several static analysis techniques to show the absence of data races are known today. In this paper, we report on our experiences with a static data race detector. We define a basic analysis based on classical lockset analysis and present three enhancements to that algorithm. We evaluate and compare the effectiveness of the basic and enhanced analysis algorithms empirically for an automotive embedded system. We find that the number of warnings could be reduced by more than 40% and that the ratio of true positives per total number of warnings could be doubled.

关键词： data race detection static program analysis embedded automotive

来源：评论

学校读者我要写书评

暂无评论

A Static Microcode analysis Tool for Programmable Load Drivers 15

A Static Microcode Analysis Tool for Programmable Load Drive...

引用

15th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Dariz, Luca Ruggeri, Massimiliano Selvatici, Michele Italian Natl Council Res CNR Inst Agr & Earthmoving Machines IMAMOTER Via Canal Bianco 28 I-44124 Ferrara Italy

ISBN: (纸本)9781467375290

The advances in control electronics, with the introduction of programmable load drivers, have changed the way in which actuators, both resistive and inductive, such as electrical motors, injectors, valves, are controlled. However, usually the only programming language available for these drivers is the native assembly-like microcode that, allowing for unstructured programing constructs, exposes to the risk of dangerous control flow paths, like infinite loops or jumps to non-existent locations. In this paper an automatic static analyzer is presented, which reconstruct the control flow graph of an application from the microcode source file and checks for infinite loops and undefined jumps caused by the corresponding jump register not being set for a particular path.

关键词： static analysis Control Flow Graph CFG microcode power driver infinite loop

来源：评论

学校读者我要写书评

暂无评论

JFeature: Know Your Corpus 22

JFeature: Know Your Corpus

引用

ieee 22nd International working conference on source code analysis and manipulation (SCAM)

作者： Riouak, Idriss Hedin, Gorel Reichenbach, Christoph Fors, Niklas Lund Univ Dept Comp Sci Lund Sweden

ISBN: (纸本)9781665496094

Software corpora are crucial for evaluating research artifacts and ensuring repeatability of outcomes. Corpora such as DaCapo and Defects4J provide a collection of real-world opensource projects for evaluating the robustness and performance of software tools like static analysers. However, what do we know about these corpora? What do we know about their composition? Are they really suited for our particular problem? We developed JFEATURE, an extensible static analysis tool that extracts syntactic and semantic features from Java programs, to assist developers in answering these questions. We demonstrate the potential of JFEATURE by applying it to four widely-used corpora in the program analysis area, and we suggest other applications, including longitudinal studies of individual Java projects and the creation of new corpora.

关键词： source-code analysis Software Tools Software Corpora

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共96页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：