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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,598 篇 会议
643 篇 期刊文献
3 册 图书

馆藏范围

2,244 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,193 篇 工学
- 2,006 篇 计算机科学与技术...
- 1,902 篇 软件工程
- 271 篇 电气工程
- 127 篇 控制科学与工程
- 91 篇 电子科学与技术（可...
- 66 篇 信息与通信工程
- 54 篇 机械工程
- 27 篇 安全科学与工程
- 24 篇 生物工程
- 20 篇 土木工程
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 15 篇 光学工程
- 15 篇 仪器科学与技术
- 12 篇 力学（可授工学、理...
- 11 篇 化学工程与技术
- 11 篇 交通运输工程
- 10 篇 冶金工程
327 篇 理学
- 199 篇 数学
- 49 篇 系统科学
- 48 篇 物理学
- 45 篇 统计学（可授理学、...
- 33 篇 生物学
- 21 篇 化学
230 篇 管理学
- 161 篇 管理科学与工程(可...
- 77 篇 图书情报与档案管...
- 63 篇 工商管理
33 篇 教育学
- 31 篇 教育学
19 篇 经济学
- 19 篇 应用经济学
18 篇 法学
- 17 篇 社会学
7 篇 医学
3 篇 文学
2 篇 农学

主题

2,244 篇 program debuggin...
57 篇 debugging
53 篇 program testing
32 篇 public domain so...
31 篇 fault localizati...
29 篇 program diagnost...
28 篇 software enginee...
24 篇 computer bugs
23 篇 java
22 篇 software mainten...
21 篇 software fault t...
21 篇 software testing
18 篇 software quality
17 篇 software
16 篇 learning (artifi...
14 篇 security of data
11 篇 program slicing
11 篇 software tools
11 篇 software develop...
11 篇 program verifica...

机构

11 篇 national univers...
9 篇 georgia inst tec...
9 篇 microsoft resear...
7 篇 singapore manage...
7 篇 carnegie mellon ...
7 篇 peking universit...
6 篇 shanghai jiao to...
6 篇 university colle...
6 篇 university of pe...
6 篇 stanford univers...
6 篇 department of co...
6 篇 indian inst tech...
5 篇 huazhong univers...
5 篇 univ illinois ur...
5 篇 school of comput...
5 篇 chinese acad sci...
5 篇 stanford univers...
5 篇 carnegie mellon ...
5 篇 microsoft resear...
5 篇 oregon state uni...

作者

20 篇 wong w. eric
15 篇 gupta rajiv
10 篇 debroy vidroha
10 篇 liblit ben
9 篇 lo david
9 篇 roychoudhury abh...
9 篇 burnett margaret
9 篇 jun yong-kee
8 篇 xiong yingfei
8 篇 zeller andreas
8 篇 wotawa franz
8 篇 zakari abubakar
8 篇 zhao jianjun
7 篇 lee sai peck
7 篇 cafarella michae...
7 篇 volkert j
7 篇 zhang lu
7 篇 qi yu
7 篇 mall rajib
7 篇 lanese ivan

语言

2,072 篇 英文
152 篇 其他
9 篇 中文
7 篇 日文
2 篇 西班牙文
2 篇 土耳其文
1 篇 德文
1 篇 朝鲜文
1 篇 俄文

检索条件"主题词=Program Debugging"

共 2244 条记录，以下是31-40 订阅

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

详细简洁

排序：

Enhancing Robustness of Smart Contracts Through Declarations 7th

Enhancing Robustness of Smart Contracts Through Declaration...

引用

7th International Conference on Blockchain, ICBC 2024, Held as Part of the Services Conference Federation, SCF 2024

作者： Shyamasundar, R.K. Borse, Snehal Ummair, Mohammad Department of Computer Science and Engineering Indian Institute of Technology Bombay Mumbai400076 India

ISBN: (纸本)9783031770944

Run-time monitoring has been one of the widely used techniques to realize robust smart contracts. In this paper, we show how we can abstract aspects of run-time monitoring through declarations of programming languages so that a majority of run-time monitoring code required for preserving the intended semantics of Solidity and thereby overcome vulnerabilities can be instrumented automatically at compile time itself. For illustrative purposes, we use Solidity and call the augmented Solidity language SolidityD. SolidityDsyntactically is identical to Solidity except for declarations. The declarations preserve the intended semantics of various constructs and thus overcome a large number of vulnerabilities. We illustrate how a vast variety of vulnerabilities encountered in programming smart contracts in Solidity are overcome through declarations. Declarations envisaged in SolidityDare similar to that used in classic concurrent programming languages and are easily visualizable by the programmer. Declarations lead to automatic introduction of run-time code at compilation time needed to satisfy various executional constraints needed to satisfy the semantic requirements of declarations. Further, we demonstrate that SolidityD, can be automatically transformed to pure Solidity: thus, enabling an effective debugging at source level rather than at the byte or EVM level. Another important outcome of using SolidityD, is that it can be effectively used for asserting coarse-grained properties of declarations. Such a feature leads to gaining trust in the usage of smart contracts. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

HyperNova: Recursive Arguments for Customizable Constraint Systems 44th

HyperNova: Recursive Arguments for Customizable Constraint S...

引用

44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO)

作者： Kothapalli, Abhiram Setty, Srinath Carnegie Mellon Univ Pittsburgh PA 15213 USA Microsoft Res Redmond WA 98052 USA

ISBN: (纸本)9783031684029;9783031684036

We introduce HyperNova, a new recursive argument for proving incremental computations whose steps are expressed with CCS (Setty et al. ePrint 2023/552), a customizable constraint system that simultaneously generalizes Plonkish, R1CS, and AIR without overheads. HyperNova makes four contributions, each resolving a major problem in the area of recursive arguments. First, it provides a folding scheme for CCS where the prover's cryptographic cost is a single multi-scalar multiplication (MSM) of size equal to the number of variables in the constraint system, which is optimal when using an MSM-based commitment scheme. The folding scheme can fold multiple instances at once, making it easier to build generalizations of IVC such as PCD. Second, when proving program executions on stateful machines (e.g., EVM, RISC-V), the cost of proving a step of a program is proportional only to the size of the circuit representing the instruction invoked by the program step ("a la carte" cost profile). Third, we show how to achieve zero-knowledge for "free" and without the need to employ zero-knowledge SNARKs: we use a folding scheme to "randomize" IVC proofs. This highlights a new application of folding schemes. Fourth, we show how to efficiently instantiate HyperNova over a cycle of elliptic curves. For this, we provide a general technique, which we refer to as CycleFold, that applies to all modern folding-scheme-based recursive arguments.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Mind the Gap: WhatWorking With Developers on Fuzz Tests Taught Us About Coverage Gaps 44

Mind the Gap: WhatWorking With Developers on Fuzz Tests Taug...

引用

ACM/IEEE 46th International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)

作者： Brandt, Carolin Castelluccio, Marco Holler, Christian Kratzer, Jason Zaidman, Andy Bacchelli, Alberto Delft Univ Technol Delft Netherlands Mozilla Corp London England Mozilla Corp Bonn Germany Mozilla Corp Asheville NC USA Univ Zurich Zurich Switzerland

ISBN: (纸本)9798400702174

Can fuzzers generate partial tests that developers find useful enough to complete into functional tests (e.g., by adding assertions)? To address this question, we develop a prototype within the Mozilla ecosystem and open 13 bug reports proposing partial generated tests for currently uncovered code. We found that the majority of the reactions focus on whether the targeted coverage gap is actually worth testing. To investigate further which coverage gaps developers find relevant to close, we design an automated filter to exclude irrelevant coverage gaps before generating tests. From conversations with 13 developers about whether the remaining coverage gaps are worth closing when a partially generated test is available, we learn that the filtering indeed removes clearly non-test-worthy gaps. The developers propose a variety of additional strategies to address the coverage gaps and how to make fuzz tests and reports more useful for developers.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Causal debugging for Concurrent Systems 16th

Causal Debugging for Concurrent Systems

引用

16th International Conference on Reversible Computation (RC)

作者： Lanese, Ivan Gossler, Gregor Univ Bologna INRIA Olas Team I-40137 Bologna Italy Univ Grenoble Alpes INRIA CNRS Grenoble INPLIG F-38000 Grenoble France

ISBN: (纸本)9783031620751;9783031620768

debugging concurrent systems is notoriously hard, since bugs may manifest only for some interleavings among the processes' execution, and since debugging them may involve analyzing multiple processes. We claim that two key ingredients for such an analysis are reversible execution, to explore a faulty computation back and forward, and causal analysis, to identify the causes of a visible misbehavior. In this talk we focus in particular on the use of reversible execution, as enabled by CauDEr, a reversible debugger for concurrent Erlang programs.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

A Broad Comparative Evaluation of Software Debloating Tools 33

A Broad Comparative Evaluation of Software Debloating Tools

引用

33rd USENIX Security Symposium

作者： Brown, Michael D. Meily, Adam Fairservice, Brian Sood, Akshay Dorn, Jonathan Kilmer, Eric Eytchison, Ronald Trail Bits Brooklyn NY 11215 USA Grammatech Inc Ithaca NY USA

ISBN: (纸本)9781939133441

Software debloating tools seek to improve program security and performance by removing unnecessary code, called bloat. While many techniques have been proposed, several barriers to their adoption have emerged. Namely, debloating tools are highly specialized, making it difficult for adopters to find the right type of tool for their needs. This is further hindered by a lack of established metrics and comparative evaluations between tools. To close this information gap, we surveyed 10 years of debloating literature and several tools currently under commercial development to taxonomize knowledge about the debloating ecosystem. We then conducted a broad comparative evaluation of 10 debloating tools to determine their relative strengths and weaknesses. Our evaluation, conducted on a diverse set of 20 benchmark programs, measures tools across 12 performance, security, and correctness metrics. Our evaluation surfaces several concerning findings that contradict the prevailing narrative in the debloating literature. First, debloating tools lack the maturity required to be used on real-world software, evidenced by a slim 22% overall success rate for creating passable debloated versions of mediumand high-complexity benchmarks. Second, debloating tools struggle to produce sound and robust programs. Using our novel differential fuzzing tool, DIFFER, we discovered that only 13% of our debloating attempts produced a sound and robust debloated program. Finally, our results indicate that debloating tools typically do not improve the performance or security posture of debloated programs by a significant degree according to our evaluation metrics. We believe that our contributions in this paper will help potential adopters better understand the landscape of tools and will motivate future research and development of more capable debloating tools. To this end, we have made our benchmark set, data, and custom tools publicly available.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Localizer: A Visual debugging Assistant for Python programs 2

Localizer: A Visual Debugging Assistant for Python Programs

引用

2nd International Workshop on Future debugging Techniques (DEBT)

作者： Khan, Shehroz Sudheerbabu, Gaadha Truscan, Dragos Ahmad, Tanwir Abo Akad Univ Turku Finland

ISBN: (纸本)9798400711107

We present the Localizer tool, which is targeted at assisting developers and testers in debugging their Python code. The tool combines program slicing and program spectra analysis to analyze the difference between the execution paths of the passing tests and of the failing tests, respectively. In addition, it suggests suspicious parts of the code where the fault can be potentially located. To assist the user in inspecting the code, the tool graphically presents the structure of the code as control flow graphs annotated with program spectra information. Preliminary studies show that the tool facilitates the identification of faults by reducing the complexity of the code analysis process.

关键词： Spectrum-based fault localization program debugging dynamic analysis program spectra program slicing

来源：评论

学校读者我要写书评

暂无评论

Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step by Step 62

Debug like a Human: A Large Language Model Debugger via Veri...

引用

62nd Annual Meeting of the Association-for-Computational-Linguistics (ACL) / Student Research Workshop (SRW)

作者： Zhong, Li Wang, Zilong Shang, Jingbo Univ Calif San Diego San Diego CA 92103 USA

ISBN: (纸本)9798891760998

Large language models (LLMs) are leading significant progress in code generation. Beyond one-pass code generation, recent works further integrate unit tests and program verifiers into LLMs to iteratively refine the generated programs. However, these works consider the generated program as an indivisible entity, which falls short for LLMs in debugging the programs, especially when the programs contain complex logic flows and data operations. In contrast, when human developers debug programs, they typically set breakpoints and selectively examine runtime execution information. The execution flow and the intermediate variables play a crucial role in the debugging process, yet they are underutilized in the existing literature on code generation. In this study, we introduce Large Language Model Debugger (LDB), a novel debugging framework that enables LLMs to refine their generated programs with the runtime execution information. Specifically, LDB segments programs into basic blocks and tracks the values of intermediate variables after each block throughout runtime execution. This allows LLMs to concentrate on simpler code units within the overall execution flow, verify their correctness against the task description block by block, and effectively pinpoint any potential errors. Experiments demonstrate that LDB consistently enhances the baseline performance by up to 9.8% across the HumanEval, MBPP, and TransCoder benchmarks, archiving new state-of-the-art performance in code debugging for various LLM selections.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Chamelon : A Delta-Debugger for OCaml 26th

Chamelon : A Delta-Debugger for OCaml

引用

26th International Symposium on Formal Methods (FM)

作者： Valnet, Milla Courant, Nathanaelle Bury, Guillaume Chambart, Pierre Laviron, Vincent Univ PSL Ecole Normale Super F-75005 Paris France Sorbonne Univ LIP6 CNRS F-75005 Paris France OCamlPro F-75014 Paris France

ISBN: (纸本)9783031711763;9783031711770

Tools that manipulate OCaml code can sometimes fail even on correct programs. Identifying and understanding the cause of the error usually involves manually reducing the size of the program, so as to obtain a shorter program causing the same error-a long, sometimes complex and rarely interesting task. Our work consists in automating this task using a minimiser, or delta-debugger. To do so, we propose a list of unitary heuristics, i.e. small-scale reductions, applied through a dichotomy-based state-of-the-art algorithm. These proposals are implemented in the free Chamelon tool. Although designed to assist the development of an OCaml compiler, Chamelon can be adapted to all kinds of projects that manipulate OCaml code. It can analyse multifile projects and efficiently minimise real-world programs, reducing their size by one to several orders of magnitude. It is currently used to assist the industrial development of the flambda2 optimising compiler.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Integrated Prognostics and Health Monitoring Tool for Software Components Aboard UAS Swarm Agents

Integrated Prognostics and Health Monitoring Tool for Softwa...

引用

AIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2025

作者： Fogle, Landen Phillips, Grant Bradley, Justin University of Nebraska-Lincoln School of Computing LincolnNE68588 United States Department of Computer Science North Carolina State University RaleighNC27695 United States

ISBN: (数字)9781624107238

ISBN: (纸本)9781624107238

Uncrewed Aircraft Systems (UAS) are pivotal in numerous fields, requiring dependable software architectures that reinforce functionality and efficiency. However, effective in-flight monitoring of these agents is often limited to verifying hardware performance and may lack monitors for more complex software systems. The problem is seen in small UAS multi-agent systems and swarms where bandwidth is minimal and computational resources are highly constrained. Here we introduce the development, processes, and evaluation of a Health Management and Control tool tailored for monitoring the health and operational status of essential UAS software architecture components. This tool facilitates system debugging and enhances operational efficiency through diagnostics and recovery-focused health management. © 2025, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Do not neglect what's on your hands: localizing software faults with exception trigger stream 24

Do not neglect what's on your hands: localizing software fau...

引用

39th ACM/IEEE International Conference on Automated Software Engineering (ASE)

作者： Zhang, Xihao Song, Yi Xie, Xiaoyuan Xin, Qi Xing, Chenliang Wuhan Univ Sch Comp Sci Wuhan Peoples R China Wuhan Univ Sch Comp Sci Hubei Luojia Lab Wuhan Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Existing fault localization techniques typically analyze static information and run-time profiles of faulty software programs, and subsequently calculate suspiciousness values for each program entity. Such strategies typically have overbroad information to be analyzed and lead to unsatisfactory results. Exception is a widely-used programming language feature. It is closely related to the execution status during the execution of programs, and thus can be incorporated into automatic fault localization techniques for better effectiveness. Based on this intuition, we propose EXPECT, a novel fault localization technique that makes use of exception information, a valuable source of data for fault localization while being often ignored in previous research. Specifically, EXPECT first constructs exception trigger streams (including exception trigger information and execution traces), and then localizes faults by tracing bifurcation points between different exception trigger streams. Moreover, the tie-breaking problem can be also benefited from the use of exception trigger streams. Experimental results demonstrate the advantages of EXPECT: it achieves as high as 38.26% improvements in localizing faults regarding the Exam metric in comparison to the state-of-the-art fault localization technique, and it reduces the scales of ties in existing FL methods by up to 99.08%.

关键词： program debugging Software testing Fault localization Exception handling Execution trace

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共225页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：