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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Are My Unit Tests in the Right Package? 16

Are My Unit Tests in the Right Package?

引用

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

作者： Balogh, Gergo Gergely, Tamas Beszedes, Arpad Gyimothy, Tibor Univ Szeged Software Engn Dept Szeged Hungary

ISBN: (纸本)9781509038497

The software development industry has adopted written and de facto standards for creating effective and maintainable unit tests. Unfortunately, like any other source code artifact, they are often written without conforming to these guidelines, or they may evolve into such a state. In this work, we address a specific type of issues related to unit tests. We seek to automatically uncover violations of two fundamental rules: 1) unit tests should exercise only the unit they were designed for, and 2) they should follow a clear packaging convention. Our approach is to use code coverage to investigate the dynamic behaviour of the tests with respect to the code elements of the program, and use this information to identify highly correlated groups of tests and code elements (using community detection algorithm). This grouping is then compared to the trivial grouping determined by package structure, and any discrepancies found are treated as "bad smells." We report on our related measurements on a set of large open source systems with notable unit test suites, and provide guidelines through examples for refactoring the problematic tests.

关键词： code coverage unit testing clusterization pack-age hierarchy community detection test smells and refactoring

来源：评论

学校读者我要写书评

暂无评论

Effects Dependence Graph: A Key Data Concept for C source-to-source Compilers 16

Effects Dependence Graph: A Key Data Concept for C Source-to...

引用

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

作者： Lossing, Nelson Guillou, Pierre Irigoin, Francois PSL Res Univ MINES ParisTech Paris France

ISBN: (纸本)9781509038497

Optimizations, transformations and analyses are applied to programs by compilers at the intermediate representation level, which usually does not include explicit variable declarations. This description level is fine for middle-ends and for source-to-source optimizers of simple languages. Meanwhile, the C language has become much more flexible since the C99 standard, and let variable and type declarations appear almost anywhere in source code. We present in this paper a new concept to manage C99 declarations in a source-to-source compiler: the Effects Dependence Graph, which is an extension of the classical Data Dependence Graph. It deals particularly efficiently with user-defined type declarations or dependent types like Variable-Length Array. It is also interesting because no legal scheduling transformation is hindered and because existing algorithms are either not or slightly modified. Finally it reduces the need for variable, struct and array privatization or live range analyses in automatic parallelizers. To the best of our knowledge, the declaration issue is ignored in the literature: existing C source-to-source compilers either do not support C99, or accept only restricted portions of code, and production compilers use low- level intermediate representations, possibly with annotations. In this way our solution addresses a wider range of compiler analysis issues.

关键词： C Language Data Dependence Graph Declaration Scheduling source-to-source Compiler

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Program analysis Too Loopy? Set the Loops Aside

Program Analysis Too Loopy? Set the Loops Aside

引用

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

作者： Larson, Eric Seattle Univ Seattle WA 98122 USA

ISBN: (纸本)9780769543475

Among the many obstacles in efficient and sound program analysis, loops may be the most prevalent. In program analyses that traverse paths, loops introduce a variable, possibly infinite, number of paths. This paper looks at whether loops could be analyzed separately and replaced with a summary. First, the complexity of a loop is estimated by counting the paths through the body of the loop. 85% of the loops have fewer than ten paths and less than 1% have more than 10,000 paths. Second, the number of paths is computed by analyzing loops separately to assess the feasibility of such an analysis approach. While the number of paths is decreased in many cases, it is typically not sufficient for long, complex functions. Finally, loops are classified based on their stopping condition and further analyzed for programming elements that may make loop analysis more difficult. Nearly half of the loops are array traversals and over half of the loops contain a function call.

关键词： loops program analysis paths

来源：评论

学校读者我要写书评

暂无评论

Introducing Privacy in Screen Event Frequency analysis for Android Apps 19

Introducing Privacy in Screen Event Frequency Analysis for A...

引用

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

作者： Zhang, Hailong Latif, Sufian Bassily, Raef Rountev, Atanas Ohio State Univ Columbus OH 43210 USA

ISBN: (纸本)9781728149370

Mobile apps often use analytics infrastructures provided by companies such as Google and Facebook to gather extensive fine-grained data about app performance and user behaviors. It is important to understand and enforce suitable trade-offs between the benefits of such data gathering (for app developers) and the corresponding privacy loss (for app users). Our work focuses on screen event frequency analysis, which is one of the most popular forms of data gathering in mobile app analytics. We propose a privacy-preserving version of such analysis using differential privacy (DP), a popular principled approach for creating privacy-preserving analyses. We describe how DP can be introduced in screen event frequency analysis for mobile apps, and demonstrate an instance of this approach for Android apps and the Google Analytics framework. Our work develops the automated app code analysis, code rewriting, and run-time processing needed to deploy the proposed DP solution. Experimental evaluation demonstrates that high accuracy and practical cost can be achieved by the developed privacy-preserving screen event frequency analysis.

关键词： Android code writing Differential privacy Mobile app analytics Mobile apps

来源：评论

学校读者我要写书评

暂无评论

Fex: Assisted Identification of Domain Features from C Programs 21

Fex: Assisted Identification of Domain Features from C Progr...

引用

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

作者： Mueller, Patrick Narasimhan, Krishna Mezini, Mira Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781665448970

Modern software typically performs more than one functionality. These functionalities or features are not always organized in a way for modules representing these features to be used individually. Many software engineering approaches like programming language constructs, or product line visualization techniques have been proposed to organize projects as modules. Unfortunately, much legacy software suffer from years or decades of improper coding practices that leave the modules in the code almost undetectable. In such scenarios, a desirable requirement is to identify modules representing different features to be extracted. In this paper, we propose a novel approach that combines information retrieval and program analysis approaches to allow domain experts to identify slices of the program that represent modules using natural language search terms. We evaluate our approach by building a proof of concept tool in C, and extract modules from open source projects.

关键词： Visualization codes Natural languages Prototypes Static analysis Tools Feature extraction

来源：评论

学校读者我要写书评

暂无评论

On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence 19

On the Efficacy of Dynamic Behavior Comparison for Judging F...

引用

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

作者： Kessel, Marcus Atkinson, Colin Univ Mannheim Mannheim Germany

ISBN: (纸本)9781728149370

Since it was first proposed in 1992 under the name of "behavior sampling", the idea of judging whether software systems are functionally equivalent by observing their responses to common stimuli (i.e. tests) has been used for a range of tasks such as software retrieval, functional redundancy measurement and semantic clone detection. However, its efficacy has only been studied in one small experiment, with limited generalizability, described in the original paper proposing the approach. The results of that experiment suggest that a relatively small number of randomly generated tests (i.e. 4) is sufficient to recognize non-functional-equivalent software 85% of the time. This number has therefore been adopted as "sufficient" in numerous applications of the approach. In this paper we present a much larger study which suggests at least 39 randomly generated tests are actually needed to achieve this level of effectiveness, but that a far fewer number of tests generated using coverage-based heuristics are sufficient. Since these results are much more generalizable, they have implications for future applications of behavioral sampling for dynamic behavior comparison.

关键词： behavior functionality testing code study

来源：评论

学校读者我要写书评

暂无评论

To what extent can we analyze Kotlin programs using existing Java taint analysis tools? 22

To what extent can we analyze Kotlin programs using existing...

引用

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

作者： Krishnamurthy, Ranjith Piskachev, Goran Bodden, Eric Fraunhofer IEM Paderborn Germany Paderborn Univ Paderborn Germany

ISBN: (纸本)9781665496094

As an alternative to Java, Kotlin has gained rapid popularity since its introduction and has become the default choice for developing Android apps. However, due to its interoperability with Java, Kotlin programs may contain almost the same security vulnerabilities as their Java counterparts. Hence, we question: to what extent can one use an existing Java static taint analysis on Kotlin code? In this paper, we investigate the challenges in implementing a taint analysis for Kotlin compared to Java. To answer this question, we performed an exploratory study where each Kotlin construct was examined and compared to its Java equivalent. We identified 18 engineering challenges that static-analysis writers need to handle differently due to Kotlin's unique constructs or the differences in the generated bytecode between the Kotlin and Java compilers. For eight of them, we provide a conceptual solution, while six of those we implemented as part of SECUCHECK- KOTLIN, an extension to the existing Java taint analysis SECUCHECK.

关键词： static analysis security kotlin taint analysis

来源：评论

学校读者我要写书评

暂无评论

CONC2SEQ: A FRAMA-C Plugin for Verification of Parallel Compositions of C Programs 16

CONC2SEQ: A FRAMA-C Plugin for Verification of Parallel Comp...

引用

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

作者： Blanchard, Allan Kosmatov, Nikolai Lemerre, Matthieu Loulergue, Frederic CEA LIST Software Reliabil Lab PC 174 F-91191 Gif Sur Yvette France Univ Orleans INSA Ctr Val de Loire LIFO EA 4022 Orleans France No Arizona Univ Sch Informat Comp & Cyber Syst Flagstaff AZ USA

ISBN: (纸本)9781509038497

FRAMA-C is an extensible modular framework for analysis of C programs that offers different analyzers in the form of collaborating plugins. Currently, FRAMA-C does not support the proof of functional properties of concurrent code. We present CONC2SEQ, a new code transformation based tool realized as a FRAMA-C plugin and dedicated to the verification of concurrent C programs. Assuming the program under verification respects an interleaving semantics, CONC2SEQ transforms the original concurrent C program into a sequential one in which concurrency is simulated by interleavings. User specifications are automatically reintegrated into the new code without manual intervention. The goal of the proposed code transformation technique is to allow the user to reason about a concurrent program through the interleaving semantics using existing FRAMA-C analyzers.

关键词： C language code transformation Concurrent code Formal verification Specification transformation

来源：评论

学校读者我要写书评

暂无评论

Deriving Coupling Metrics from Call Graphs

Deriving Coupling Metrics from Call Graphs

引用

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

作者： Allier, Simon Vaucher, Stephane Dufour, Bruno Sahraoui, Houari Univ Bretagne Sud VALORIA Lorient France Univ Montreal DIRO Montreal PQ Canada

ISBN: (纸本)9780769541785

Coupling metrics play an important role in empirical software engineering research as well as in industrial measurement programs. The existing coupling metrics have usually been defined in a way that they can be computed from a static analysis of the source code. However, modern programs extensively use dynamic language features such as polymorphism and dynamic class loading that are difficult to capture by static analysis. Consequently, the derived metric values might not accurately reflect the state of a program. In this paper, we express existing definitions of coupling metrics using call graphs. We then compare the results of four different call graph construction algorithms with standard tool implementations of these metrics in an empirical study. Our results show important variations in coupling between standard and call graph-based calculations due to the support of dynamic features.

关键词： call graph construction algorithm call graphs call graphs coupling coupling metrics dynamic class loading dynamic language features empirical study graph theory industrial measurement program metrics polymorphism program diagnostics software engineering software metrics software quality source code static analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共96页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：