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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是121-130 订阅

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

详细简洁

排序：

Language-Independent Clone Detection Applied to Plagiarism Detection

Language-Independent Clone Detection Applied to Plagiarism D...

引用

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

作者： Brixtel, Romain Fontaine, Mathieu Lesner, Boris Bazin, Cyril Robbes, Romain Univ Caen Basse Normandie GREYC CNRS UMR 6072 F-14000 Caen France Univ Chile DCC Santiago 8370459 Chile

ISBN: (纸本)9780769541785

Clone detection is usually applied in the context of detecting small-to medium scale fragments of duplicated code in large software systems. In this paper, we address the problem of clone detection applied to plagiarism detection in the context of source code assignments done by computer science students. Plagiarism detection comes with a distinct set of constraints to usual clone detection approaches, which influenced the design of the approach we present in this paper. For instance, the source code can be heavily changed at a superficial level (in an attempt to look genuine), yet be functionally very similar. Since assignments turned in by computer science students can be in a variety of languages, we work at the syntactic level and do not consider the source-code semantics. Consequently, the approach we propose is endogenous and makes no assumption about the programming language being analysed. It is based on an alignment method using the parallel principle at local resolution (character level) to compute similarities between documents. We tested our framework on hundreds of real source files, involving a wide array of programming languages (Java, C, Python, PHP, Haskell, bash). Our approach allowed us to discover previously undetected frauds, and to empirically evaluate its accuracy and robustness.

关键词： Endogenous Plagiarism Detection Similarity Measure Distance source code Segmentation source code Plagiarism

来源：评论

学校读者我要写书评

暂无评论

From Preprocessor-Constrained Parse Graphs to Preprocessor-Constrained Control Flow 15

From Preprocessor-Constrained Parse Graphs to Preprocessor-C...

引用

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

作者： Luedemann, Dierk Koschke, Rainer Univ Bremen D-28359 Bremen Germany

ISBN: (纸本)9781467375290

Preprocessor-aware static analysis tools are needed for C code to gain sound knowledge about the interference among all conditionally compiled program parts. We provide formal descriptions and algorithms to construct a preprocessor-aware control flow graph from preprocessor-aware parse graphs of SuperC. Based on the structure of parse graphs capturing the syntax nodes constrained by preprocessor constraints, we show how to model, formalize, and compute preprocessor-aware intra-procedural control-flow graphs. Such preprocessor-aware control-flow graphs may serve as the basis for subsequent preprocessor-aware control and data flow analyses.

关键词： C language data flow analysis flow graphs program processors C code SuperC preprocessor-aware intraprocedural control-flow graph preprocessor-aware parse graph preprocessor-aware static analysis tools preprocessor-constrained control flow preprocessor-constrained parse graph syntax nodes Algorithm design and analysis Computational modeling Data preprocessing Grammar Java Linux Syntactics data flow analysis Program processors Flowcharts Algorithm design and analysis syntax Data preprocessing C language Linux Computational modeling Java Java programming language Parsing C codeS

来源：评论

学校读者我要写书评

暂无评论

PtrTracker: Pragmatic Pointer analysis

PtrTracker: Pragmatic Pointer Analysis

引用

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

作者： Biallas, Sebastian Olesen, Mads Chr. Cassez, Franck Huuck, Ralf Rhein Westfal TH Aachen Aachen Germany Aalborg Univ Aalborg Denmark NICTA Sydney NSW Australia UNSW Sydney NSW Australia

ISBN: (纸本)9781467357395

Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently. While there has been much research into various aspects of pointer analysis either for compiler optimization or for verification tasks, both classical categories are not optimized for bug detection, where speed and precision are important, but soundness (no missed bugs) and completeness (no false positives) do not necessarily need to be guaranteed. In this work we present a new pointer analysis tool for C/C++ code. The tool introduces the notion of heap graphs that are inspired by shape analysis without the computational overhead, but also without the verification soundness guarantees. We explain the underlying ideas and that it lends itself to a fast, modular and incremental analysis, features that are essential for large code bases. To demonstrate the practicality of the solution we integrate the pointer analyzer into the C/C++ bug checking tool Goanna. We show that run-times of the new analyzer are close to compile times on large code bases and, most importantly, that the new solution is able to reduce false positives as well as to detect previously unknown pointer bugs in the Git source code.

关键词： C++ language optimisation program compilers program diagnostics

来源：评论

学校读者我要写书评

暂无评论

SATT: Tailoring code Metric Thresholds for Different Software Architectures 16

SATT: Tailoring Code Metric Thresholds for Different Softwar...

引用

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

作者： Aniche, Mauricio Treude, Christoph Zaidman, Andy van Deursen, Arie Gerosa, Marco Aurelio Delft Univ Technol NL-2600 AA Delft Netherlands Univ Adelaide Adelaide SA 5005 Australia Univ Sao Paulo BR-05508 Sao Paulo Brazil

ISBN: (纸本)9781509038497

code metric analysis is a well-known approach for assessing the quality of a software system. However, current tools and techniques do not take the system architecture (e.g., MVC, Android) into account. This means that all classes are assessed similarly, regardless of their specific responsibilities. In this paper, we propose SATT (Software Architecture Tailored Thresholds), an approach that detects whether an architectural role is considerably different from others in the system in terms of code metrics, and provides a specific threshold for that role. We evaluated our approach on 2 different architectures (MVC and Android) in more than 400 projects. We also interviewed 6 experts in order to explain why some architectural roles are different from others. Our results shows that SATT can overcome issues that traditional approaches have, especially when some architectural role presents very different metric values than others.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Automatically Generating Fix Suggestions in Response to Static code analysis Warnings 19

Automatically Generating Fix Suggestions in Response to Stat...

引用

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

作者： Marcilio, Diego Furia, Carlo A. Bonifacio, Rodrigo Pinto, Gustavo Univ Brasilia Brasilia DF Brazil USI Univ Svizzera Italiana Lugano Switzerland Fed Univ Para Belem Para Brazil

ISBN: (纸本)9781728149370

Static code analysis tools such as FindBugs and SonarQube are widely used on open-source and industrial projects to detect a variety of issues that may negatively affect the quality of software. Despite these tools' popularity and high level of automation, several empirical studies report that developers normally fix only a small fraction (typically, less than 10% [1]) of the reported issues-so-called "warnings". If these analysis tools could also automatically provide suggestions on how to fix the issues that trigger some of the warnings, their feedback would become more actionable and more directly useful to developers. In this work, we investigate whether it is feasible to automatically generate fix suggestions for common warnings issued by static code analysis tools, and to what extent developers are willing to accept such suggestions into the codebases they're maintaining. To this end, we implemented a Java program transformation technique that fixes 11 distinct rules checked by two well-known static code analysis tools (SonarQube and SpotBugs). Fix suggestions are generated automatically based on templates, which are instantiated in a way that removes the source of the warnings;templates for some rules are even capable of producing multi-line patches. We submitted 38 pull requests, including 920 fixes generated automatically by our technique for various open-source Java projects, including the Eclipse IDE and both SonarQube and SpotBugs tools. At the time of writing, project maintainers accepted 84% of our fix suggestions (95% of them without any modifications). These results indicate that our approach to generating fix suggestions is feasible, and can help increase the applicability of static code analysis tools.

关键词： Program repair Program transformation Static analysis tools

来源：评论

学校读者我要写书评

暂无评论

Review Efforts Reduction by Partitioning of Static analysis Warnings

Review Efforts Reduction by Partitioning of Static Analysis ...

引用

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

作者： Muske, Tukaram B. Baid, Ankit Sanas, Tushar TRDDC Pune 411013 MH India

ISBN: (纸本)9781467357395

Static analysis has been successfully employed in software verification, however the number of generated warnings and cost incurred in their manual review is a major concern. In this paper we present a novel idea to reduce manual review efforts by identifying redundancy in this review process. We propose two partitioning techniques to identify redundant warnings - 1) partitioning of the warnings with each partition having one leader warning such that if the leader is a false positive, so are all the warnings in its partition which need not be reviewed and 2) further partitioning the leader warnings based on similarity of the modification points of variables referred to in their expressions. The second technique makes the review process faster by identifying further redundancies and it also makes the reviewing of a warning easier due to the associated information of modification points. Empirical results obtained with these grouping techniques indicate that, on an average, 60% of warnings are redundant in the review context and skipping their review would lead to a reduction of 50-60% in manual review efforts.

关键词： Static analysis Data Flow analysis analysis Warnings Review of Warnings False Positives

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of code Smells in Transformer-based code Generation Techniques 22

An Empirical Study of Code Smells in Transformer-based Code ...

引用

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

作者： Siddiq, Mohammed Latif Majumder, Shafayat H. Mim, Maisha R. Jajodia, Sourov Santos, Joanna C. S. Univ Notre Dame Dept Comp Sci & Engn Notre Dame IN 46556 USA Bangladesh Univ Engn & Technol Dept Comp Sci Dhaka Bangladesh

ISBN: (纸本)9781665496094

Prior works have developed transformer-based language learning models to automatically generate source code for a task without compilation errors. The datasets used to train these techniques include samples from open source projects which may not be free of security flaws, code smells, and violations of standard coding practices. Therefore, we investigate to what extent code smells are present in the datasets of coding generation techniques and verify whether they leak into the output of these techniques. To conduct this study, we used Pylint and Bandit to detect code smells and security smells in three widely used training sets (codeXGlue, APPS, and code Clippy). We observed that Pylint caught 264 code smell types, whereas Bandit located 44 security smell types in these three datasets used for training code generation techniques. By analyzing the output from ten different configurations of the open-source finetuned transformer-based GPT-Neo 125M parameters model, we observed that this model leaked the smells and non-standard practices to the generated source code. When analyzing GitHub Copilot's suggestions, a closed source code generation tool, we observed that it contained 18 types of code smells, including substandard coding patterns and 2 security smell types.

关键词： code generation code smell security smell transformer pre-trained model GitHub copilot

来源：评论

学校读者我要写书评

暂无评论

Removing Redundant Statements in Amplified Test Cases 21

Removing Redundant Statements in Amplified Test Cases

引用

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

作者： Oosterbroek, Wessel Brandt, Carolin Zaidman, Andy Delft Univ Technol Delft Netherlands

ISBN: (纸本)9781665448970

Test amplification generates new tests by modifying existing, manually written tests. Up until now, this process preserves statements that were relevant for the original test case but are no longer needed for the behavior of the new test case. These unnecessary statements impact the readability of the tests in question. As a part of the effort to make amplified test cases more readable, we investigate dynamic slicing, taint analysis and static analysis as approaches to remove redundant statements. We design and evaluate a static analysis approach that we implemented as part of the test amplification tool DSpot. Our empirical evaluation on 274 amplified test cases shows that the implemented approach works well: while being rudimentary, it is able to remove a significant portion of the redundant statements in the amplified test cases. While the removal of the statements themselves is fast, verifying that the tests still work as intended through mutation testing is still resource-intensive.

关键词： codes conferences Static analysis Tools Testing

来源：评论

学校读者我要写书评

暂无评论

A preliminary evaluation on the relationship among architectural and test smells 22

A preliminary evaluation on the relationship among architect...

引用

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

作者： De Stefano, Manuel Pecorelli, Fabiano Di Nucci, Dario De Lucia, Andrea Univ Salerno SeSa Lab Fisciano Italy Tampere Univ Tampere Finland

ISBN: (纸本)9781665496094

Software maintenance is the software life cycle's longest and most challenging phase. Bad architectural decisions or sub-optimal solutions might lead to architectural erosion, i.e., the process that causes the system's architecture to deviate from its original design. The so-called architectural smells are the most common signs of architectural erosion. Architectural smells might affect several quality aspects of a software system, including testability. When a system is not prone to testing, sub-optimal solutions may be introduced in the test code, a.k.a. test smells. This paper explores the possible relations between architectural and test smells. By mining 798 releases of 40 opensource Java systems, we studied the correlation between classlevel architectural and test smells. In particular, Eager Test and Assertion Roulette smells often occur in conjunction with Cyclically-dependent Modularization, Deficient Encapsulation, and Insufficient Encapsulation architectural smells.

关键词： Architectural Smells code quality Test Smells Correlation Inter-smell Relationships

来源：评论

学校读者我要写书评

暂无评论

Survey of Approaches for Handling Static analysis Alarms 16

Survey of Approaches for Handling Static Analysis Alarms

引用

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

作者： Muske, Tukaram Serebrenik, Alexander Tata Consultancy Serv Tata Res Dev & Design Ctr Pune Maharashtra India Eindhoven Univ Technol Eindhoven Netherlands

ISBN: (纸本)9781509038497

Static analysis tools have showcased their importance and usefulness in automated detection of code anomalies and defects. However, the large number of alarms reported and cost incurred in their manual inspections have been the major concerns with the usage of static analysis tools. Existing studies addressing these concerns differ greatly in their approaches to handle the alarms, varying from automatic postprocessing of alarms, supporting the tool-users during manual inspections of the alarms, to designing of light-weight static analysis tools. A comprehensive study of approaches for handling alarms is, however, not found. In this paper, we review 79 alarms handling studies collected through a systematic literature search and classify the approaches proposed into seven categories. The literature search is performed by combining the keywords-based database search and snowballing. Our review is intended to provide an overview of various alarms handling approaches, their merits and shortcomings, and different techniques used in their implementations. Our findings include that the categorized alarms handling approaches are complementary and they can be combined together in different ways. The categorized approaches and techniques employed in them can help the designers and developers of static analysis tools to make informed choices.

关键词： False Positives Elimination Handling of Alarms Ranking of Alarms Snowballing Static analysis Alarms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共96页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：