咨询与建议

限定检索结果

文献类型

  • 1,609 篇 会议
  • 646 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,206 篇 工学
    • 2,018 篇 计算机科学与技术...
    • 1,914 篇 软件工程
    • 273 篇 电气工程
    • 126 篇 控制科学与工程
    • 90 篇 电子科学与技术(可...
    • 67 篇 信息与通信工程
    • 54 篇 机械工程
    • 27 篇 安全科学与工程
    • 24 篇 生物工程
    • 20 篇 土木工程
    • 19 篇 建筑学
    • 18 篇 材料科学与工程(可...
    • 15 篇 光学工程
    • 15 篇 仪器科学与技术
    • 11 篇 力学(可授工学、理...
    • 11 篇 化学工程与技术
    • 11 篇 交通运输工程
    • 10 篇 冶金工程
  • 325 篇 理学
    • 198 篇 数学
    • 49 篇 系统科学
    • 47 篇 物理学
    • 45 篇 统计学(可授理学、...
    • 33 篇 生物学
    • 21 篇 化学
  • 231 篇 管理学
    • 161 篇 管理科学与工程(可...
    • 78 篇 图书情报与档案管...
    • 63 篇 工商管理
  • 38 篇 教育学
    • 35 篇 教育学
  • 19 篇 经济学
    • 19 篇 应用经济学
  • 18 篇 法学
    • 17 篇 社会学
  • 7 篇 医学
  • 3 篇 文学
  • 2 篇 农学

主题

  • 2,258 篇 program debuggin...
  • 57 篇 debugging
  • 53 篇 program testing
  • 32 篇 public domain so...
  • 31 篇 fault localizati...
  • 29 篇 software enginee...
  • 29 篇 program diagnost...
  • 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 篇 diagnostic, test...

机构

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

作者

  • 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

语言

  • 1,945 篇 英文
  • 296 篇 其他
  • 9 篇 中文
  • 7 篇 日文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 朝鲜文
  • 1 篇 俄文
  • 1 篇 土耳其文
检索条件"主题词=program debugging"
2258 条 记 录,以下是11-20 订阅
排序:
A Framework for debugging Automated program Verification Proofs via Proof Actions  36th
A Framework for Debugging Automated Program Verification Pro...
收藏 引用
36th International Conference on Computer-Aided Verification (CAV)
作者: Cho, Chanhee Zhou, Yi Bosamiya, Jay Parno, Bryan Carnegie Mellon Univ Pittsburgh PA 15213 USA
Many program verification tools provide automation via SMT solvers, allowing them to automatically discharge many proofs. However, when a proof fails, it can be hard to understand why it failed or how to fix it. The m... 详细信息
来源: 评论
ReClues: Representing and Indexing Failures in Parallel debugging with program Variables  24
ReClues: Representing and Indexing Failures in Parallel Debu...
收藏 引用
44th ACM/IEEE International Conference on Software Engineering, ICSE 2024
作者: Song, Yi Zhang, Xihao Xie, Xiaoyuan Liu, Quanming Gao, Ruizhi Xing, Chenliang School of Computer Science Wuhan University Wuhan China Sonos Inc. Santa Barbara United States
Failures with different root causes can greatly disrupt multi-fault localization, therefore, categorizing failures into distinct groups according to the culprit fault is highly important. In such a failure indexing ta... 详细信息
来源: 评论
Show Me Why It’s Correct: Saving 1/3 of debugging Time in program Repair with Interactive Runtime Comparison
arXiv
收藏 引用
arXiv 2025年
作者: Wang, Ruixin Zhao, Zhongkai Fang, Le Jiang, Nan Lou, Yiling Tan, Lin Zhang, Tianyi Purdue University United States National University of Singapore Singapore Fudan University China
Automated program Repair (APR) holds the promise of alleviating the burden of debugging and fixing software bugs. Despite this, developers still need to manually inspect each patch to confirm its correctness, which is... 详细信息
来源: 评论
Combining mutation and fault localization for automated program debugging
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2014年 第1期90卷 45-60页
作者: Debroy, Vidroha Wong, W. Eric Microsoft Redmond WA USA Univ Texas Dallas Dept Comp Sci Dallas TX 75230 USA
This paper proposes a strategy for automatically fixing faults in a program by combining the ideas of mutation and fault localization. Statements ranked in order of their likelihood of containing faults are mutated in... 详细信息
来源: 评论
Replay debugging: Leveraging Record and Replay for program debugging
Replay Debugging: Leveraging Record and Replay for Program D...
收藏 引用
ACM/IEEE 41st Annual International Symposium on Computer Architecture (ISCA)
作者: Honarmand, Nima Torrellas, Josep Univ Illinois Champaign IL 61820 USA
Hardware-assisted Record and Deterministic Replay (RnR) of programs has been proposed as a primitive for debugging hard-to-repeat software bugs. However, simply providing support for repeatedly stumbling on the same b... 详细信息
来源: 评论
An Active Vibration Isolator for the Space Optical Clock
收藏 引用
INSTRUMENTS AND EXPERIMENTAL TECHNIQUES 2024年 第2期67卷 431-438页
作者: Li, Wei Li, Qing He, Keda Liu, Lei Northwestern Polytech Univ Sch Astronaut Xian 710072 Peoples R China Shaanxi Aerosp Flight Vehicle Design Key Lab Xian 710072 Peoples R China Tsinghua Univ Sch Aerosp Engn Beijing 100084 Peoples R China
Space optical clock is an important device for future space science experiments. Inevitably, the micro-vibration level in the order of micro-g (mu g) is required for ultra-stable optical reference cavity of space opti... 详细信息
来源: 评论
Fully Autonomous programming Using Iterative Multi-Agent debugging with Large Language Models
收藏 引用
ACM Transactions on Evolutionary Learning and Optimization 2025年 第1期5卷 1-37页
作者: Grishina, Anastasiia Liventsev, Vadim Härmä, Aki Moonen, Leon Simula Oslo Norway University of Oslo Oslo Norway Department of Mathematics and Computer Science Eindhoven University of Technology Eindhoven Netherlands Philips Research Eindhoven Netherlands
program synthesis with Large Language Models (LLMs) suffers from a "near-miss syndrome": The generated code closely resembles a correct solution but fails unit tests due to minor errors. We address this with... 详细信息
来源: 评论
FormatAEG: a framework for bypassing ASLR defense and automated exploitation of format string vulnerability
收藏 引用
COMPUTER JOURNAL 2024年 第11期67卷 3056-3066页
作者: Xu, Shenglin Jiang, Zhiyuan Wang, Yongjun Xie, Peidai Natl Univ Def Technol Sch Comp 137 Yanwachi St Changsha 410073 Hunan Peoples R China
The format string vulnerability is a common software vulnerability. A well-constructed format string can read and modify arbitrary memory addresses, causing serious system problems. Existing automated exploit generati... 详细信息
来源: 评论
Variable-based Fault Localization via Enhanced Decision Tree
收藏 引用
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2024年 第2期33卷 1-32页
作者: Jiang, Jiajun Wang, Yumeng Chen, Junjie Lv, Delin Liu, Mengjiao Tianjin Univ Coll Intelligence & Comp Tianjin 300350 Peoples R China
Fault localization, aiming at localizing the root cause of the bug under repair, has been a longstanding research topic. Although many approaches have been proposed in past decades, most of the existing studies work a... 详细信息
来源: 评论
Assisting Tools for Formulating Enbugging Quiz Problems Based on Code Minimization and Syntax-Driven Code Generation.
Computer Software
收藏 引用
Computer Software 2025年 第1期42卷 3-22页
作者: Tsunoda, Kazuhiro Masuhara, Hidehiko Cong, Youyou Dept. of Mathematical and Computing Science Tokyo Institute of Technology Institute of Science Tokyo since October 2024 Japan
Enbugging quiz is a format of programming exercises that let learners edit a given program so that it yields a designated error message. In order to formulate a quiz problem with less ambiguity and reasonable difficul... 详细信息
来源: 评论