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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,934 篇 会议
7 篇 期刊文献

馆藏范围

1,941 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,327 篇 工学
- 1,223 篇 软件工程
- 880 篇 计算机科学与技术...
- 392 篇 电气工程
- 275 篇 控制科学与工程
- 76 篇 生物工程
- 54 篇 生物医学工程（可授...
- 35 篇 信息与通信工程
- 34 篇 电子科学与技术（可...
- 17 篇 安全科学与工程
- 16 篇 建筑学
- 15 篇 土木工程
- 14 篇 机械工程
- 13 篇 材料科学与工程（可...
- 13 篇 化学工程与技术
- 12 篇 仪器科学与技术
- 11 篇 动力工程及工程热...
148 篇 理学
- 83 篇 数学
- 43 篇 生物学
- 28 篇 物理学
- 19 篇 统计学（可授理学、...
- 15 篇 系统科学
- 13 篇 化学
102 篇 管理学
- 69 篇 管理科学与工程(可...
- 39 篇 工商管理
- 38 篇 图书情报与档案管...
33 篇 农学
- 33 篇 作物学
19 篇 法学
- 11 篇 社会学
- 9 篇 法学
14 篇 经济学
- 14 篇 应用经济学
10 篇 教育学
- 10 篇 教育学
5 篇 医学

主题

311 篇 software enginee...
197 篇 software
123 篇 software testing
69 篇 testing
65 篇 conferences
58 篇 java
50 篇 context
47 篇 computer bugs
47 篇 open source soft...
44 篇 software design
40 篇 data mining
40 篇 security
40 篇 software mainten...
37 篇 software archite...
35 篇 software systems
35 篇 semantics
31 篇 measurement
30 篇 computer archite...
30 篇 codes
29 篇 maintenance engi...

机构

27 篇 nanjing univ sta...
11 篇 delft univ techn...
10 篇 university of ch...
9 篇 state key labora...
8 篇 school of comput...
8 篇 microsoft resear...
8 篇 institute of sof...
7 篇 univ chinese aca...
7 篇 delft university...
7 篇 school of softwa...
7 篇 chinese acad sci...
6 篇 monash univ melb...
6 篇 univ illinois ur...
6 篇 electrical and c...
6 篇 delft university...
6 篇 college of intel...
6 篇 singapore manage...
6 篇 nanjing universi...
5 篇 department of in...
5 篇 tsinghua univers...

作者

13 篇 grundy john
12 篇 xie tao
12 篇 mei hong
11 篇 nguyen tien n.
10 篇 yang liu
9 篇 lo david
9 篇 nguyen hoan anh
9 篇 hao dan
9 篇 michael r. lyu
9 篇 egyed alexander
8 篇 li li
8 篇 li xuandong
8 篇 marinov darko
8 篇 zhang lu
8 篇 nguyen tung than...
8 篇 klein jacques
8 篇 boehm barry
7 篇 pan minxue
7 篇 sven apel
7 篇 nguyen hung viet

语言

1,934 篇 英文
3 篇 其他
2 篇 西班牙文
2 篇 葡萄牙文

检索条件"任意字段=Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering"

共 1941 条记录，以下是51-60 订阅

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

详细简洁

排序：

Reflecting on Recurring Failures in IoT Development 7

Reflecting on Recurring Failures in IoT Development

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Anandayuvaraj, Dharun Davis, James C. Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781450394758

As IoT systems are given more responsibility and autonomy, they offer greater benefits, but also carry greater risks. We believe this trend invigorates an old challenge of software engineering: how to develop high-risk software-intensive systems safely and securely under market pressures? As a first step, we conducted a systematic analysis of recent IoT failures to identify engineering challenges. We collected and analyzed 22 news reports and studied the sources, impacts, and repair strategies of failures in IoT systems. We observed failure trends both within and across application domains. We also observed that failure themes have persisted over time. To alleviate these trends, we outline a research agenda toward a Failure-Aware software Development Life Cycle for IoT development. We propose an encyclopedia of failures and an empirical basis for system postmortems, complemented by appropriate automated tools.

关键词： Internet of things Cyber-Physical Systems Embedded Systems Safety-Critical software software engineering Failure Analysis

来源：评论

学校读者我要写书评

暂无评论

Towards a Live Environment for Code Refactoring 7

Towards a Live Environment for Code Refactoring

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Fernandes, Sara Univ Porto Fac Engn Porto Portugal INESC TEC Porto Portugal

ISBN: (纸本)9781450394758

Refactoring code manually can be complex. Several refactoring tools were developed to mitigate the effort needed to create more readable, adaptable, and maintainable code. However, most of them continue to provide late feedback, assistance, and support on how developers should improve their software. that's where the concept of Live Refactoring comes in. We believe the immediate and continuous suggestion of refactoring candidates to the code will help reduce this problem. therefore, we prototyped a Live Refactoring Environment that identifies, recommends, and applies Extract Method refactorings. We carried out an empirical experiment that showed us that our approach helped developers reach better code, with more quality, improving their refactoring experience.

关键词： code smells refactoring code quality metrics software visualization liveness

来源：评论

学校读者我要写书评

暂无评论

End-to-End Rationale Reconstruction 7

End-to-End Rationale Reconstruction

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Dhaouadi, Mouna Oakes, Bentley James Famelis, Michalis Univ Montreal DIRO Montreal PQ Canada

ISBN: (纸本)9781450394758

the logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there is insufficient progress on an end-to-end rationale information extraction pipeline. Here we outline a path towards such a pipeline that leverages several Machine Learning (ML) and Natural Language Processing (NLP) techniques. Our proposed context-independent approach, called Kantara, produces a knowledge graph representation of decisions and of their rationales, which considers their historical evolution and traceability. We also propose validation mechanisms to ensure the correctness of the extracted information and the coherence of the development process. We conducted a preliminary evaluation of our proposed approach on a small example sourced from the Linux Kernel, which shows promising results.

关键词： software rationale Natural Language Processing

来源：评论

学校读者我要写书评

暂无评论

Automatically Fixing Breaking Changes of Data Science Libraries 7

Automatically Fixing Breaking Changes of Data Science Librar...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Mitchell, Hailie Dickinson Coll Carlisle PA 17013 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9781450394758

Data science libraries are updated frequently, and new version releases commonly include breaking changes. these are updates that cause existing code to not compile or run. Developers often use older versions of libraries because it is challenging to update the source code of large projects. We propose CombyInferPy, a new tool to automatically analyze and fix breaking changes in library APIs. CombyInferPy infers rules from the history of library source code in the form of Comby templates, a structural code search and replace tool that can automatically transform code. Preliminary results indicate CombyInferPy can update the pandas library Python code. Using the Comby rules inferred by CombyInferPy, we can automatically fix several failing tests and warnings. this shows this approach is promising to help developers update libraries.

关键词： software maintenance machine learning libraries

来源：评论

学校读者我要写书评

暂无评论

Taming Multi-Output Recommenders for software engineering 7

Taming Multi-Output Recommenders for Software Engineering

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Treude, Christoph Univ Melbourne Melbourne Vic Australia

ISBN: (纸本)9781450394758

Recommender systems are a valuable tool for software engineers. For example, they can provide developers with a ranked list of files likely to contain a bug, or multiple auto-complete suggestions for a given method stub. However, the way these recommender systems interact with developers is often rudimentary-a long list of recommendations only ranked by the model's confidence. In this vision paper, we lay out our research agenda for re-imagining how recommender systems for software engineering communicate their insights to developers. When issuing recommendations, our aim is to recommend diverse rather than redundant solutions and present them in ways that highlight their differences. We also want to allow for seamless and interactive navigation of suggestions while striving for holistic end-to-end evaluations. By doing so, we believe that recommender systems can play an even more important role in helping developers write better software.

关键词： Recommender systems software engineering user interaction information retrieval diversity information representation

来源：评论

学校读者我要写书评

暂无评论

Identification and Mitigation of Toxic Communications Among Open Source software Developers 7

Identification and Mitigation of Toxic Communications Among ...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Sarker, Jaydeb Wayne State Univ Detroit MI 48202 USA

ISBN: (纸本)9781450394758

Toxic and unhealthy conversations during the developer's communication may reduce the professional harmony and productivity of Free and Open Source software (FOSS) projects. For example, toxic code review comments may raise pushback from an author to complete suggested changes. A toxic communication with another person may hamper future communication and collaboration. Research also suggests that toxicity disproportionately impacts newcomers, women, and other participants from marginalized groups. therefore, toxicity is a barrier to promote diversity, equity, and inclusion. Since the occurrence of toxic communications is not uncommon among FOSS communities and such communications may have serious repercussions, the primary objective of my proposed dissertation is to automatically identify and mitigate toxicity during developers' textual interactions. On this goal, I aim to: i) build an automated toxicity detector for software engineering (SE) domain, ii) identify the notion of toxicity across demographics, and iii) analyze the impacts of toxicity on the outcomes of Open Source software (OSS) projects.

关键词： toxicity developers' interactions NLP deep learning

来源：评论

学校读者我要写书评

暂无评论

Principled Composition of Function Variants for Dynamic software Diversity and Program Protection 7

Principled Composition of Function Variants for Dynamic Soft...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Priamo, Giacomo D'Elia, Daniele Cono Querzoni, Leonardo Sapienza Univ Rome Rome Italy

ISBN: (纸本)9781450394758

Artificial diversification of a software program can be a versatile tool in a wide range of software engineering and security scenarios. For example, randomizing implementation aspects can increase the costs for attackers as it prevents them from benefiting of precise knowledge of their target. A promising angle for diversification can be having two runs of a program on the same input yield inherently diverse instruction traces. Inspired by on-stack replacement designs for managed runtimes, in this paper we study how to transform a C program to realize continuous transfers of control and program state among function variants as they run. We discuss the technical challenges toward such goal and propose effective compiler techniques for it that enable the re-use of existing techniques for static diversification with no modifications. We implement our approach in LLVM and evaluate it on both synthetic and real-world subjects.

关键词： software diversity hardening obfuscation on-stack replacement

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of Automation in software Security Patch Management 7

An Empirical Study of Automation in Software Security Patch ...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Dissanayake, Nesara Jayatilaka, Asangi Zahedi, Mansooreh Babar, Muhammad Ali Univ Adelaide Ctr Res Engn Software Technol Adelaide SA Australia Univ Melbourne Melbourne Vic Australia

ISBN: (纸本)9781450394758

Several studies have shown that automated support for different activities of the security patch management process has great potential for reducing delays in installing security patches. However, it is also important to understand how automation is used in practice, its limitations in meeting real-world needs and what practitioners really need, an area that has not been empirically investigated in the existing software engineering literature. this paper reports an empirical study aimed at investigating different aspects of automation for security patch management using semi-structured interviews with 17 practitioners from three different organisations in the healthcare domain. the findings are focused on the role of automation in security patch management for providing insights into the as-is state of automation in practice, the limitations of current automation, how automation support can be enhanced to effectively meet practitioners' needs, and the role of the human in an automated process. Based on the findings, we have derived a set of recommendations for directing future efforts aimed at developing automated support for security patch management.

关键词： security updates patch management vulnerability management

来源：评论

学校读者我要写书评

暂无评论

Application of Natural Language Processing Towards Autonomous software Testing 7

Application of Natural Language Processing Towards Autonomou...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Pham, Khang Nguyen, Vu Nguyen, Tien Vietnam Natl Univ Univ Sci Katalon Inc Ho Chi Minh City Vietnam Univ Texas Dallas Katalon Inc Dallas TX USA

ISBN: (纸本)9781450394758

the process of creating test cases from requirements written in natural language (NL) requires intensive human efforts and can be tedious, repetitive, and error-prone. thus, many studies have attempted to automate that process by utilizing Natural Language Processing (NLP) approaches. Furthermore, with the advent of massive language models and transfer learning techniques, people have introduced various advancements in NLP-assisted software testing with promising results. More notably, in recent years, not only have researchers been engrossed in solving the above task, but many companies have also embedded the feature to translate from human language to test cases their products. this paper presents an overview of NLP-assisted solutions being used in both the literature and the software testing industry.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Towards Improving Code Review Effectiveness through Task Automation 7

Towards Improving Code Review Effectiveness Through Task Aut...

引用

37th ieee/acm international conference on automated software engineering (ASE)

作者： Turzo, Asif Kamal Wayne State Univ Detroit MI 48202 USA

ISBN: (纸本)9781450394758

Modern code review (MCR) is a widely adopted software quality assurance practice in the contemporary software industry. As software developers spend significant amounts of time on MCR activities, even a small improvement in MCR effectiveness will incur significant savings. As most of the MCR activities are heavily dependent on manual work, there are significant opportunities to improve effectiveness through tool support. To address the challenges, the primary objective of my proposed dissertation is to improve the effectiveness of modern code reviews with the automation of reviewer selection and bug identification. On this goal, I propose three studies. the first study aims to investigate the notion of useful MCRs and factors influencing MCR usefulness. the second study aims to develop a reviewer recommendation system that leverages a reviewer's prior history of providing useful feedback under similar contexts. Finally, the third study aims to improve the effectiveness of static analysis tools by leveraging bugs identified during prior reviews.

关键词： code review security software quality software development

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共195页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：