.png){kind=icon}
返回
Formula-Based Software Debugging
.png){kind=icon}
PRE
AI
DOI：10.1145/2856103.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
PROGRAMMING, THOUGH A creative activity, poses strict demands on its human practitioners in terms of precision, and even talented programmers make mistakes. The effect of a mistake can manifest in several ways-as a program crash, data corruption, or unexpected output. Debugging is the task of locating the root cause of an error from its observable manifestation. It is a challenge because the manifestation of an error might become observable in a program's execution much later than the point at which the error infected the program state in the first place. Stories abound of heroic efforts required to fix problems that cropped up unexpectedly in software that was previously considered to be working and dependable. Given the importance of efficient debugging in overall software productivity, computer-assisted techniques
Keyword:
SYMBOLIC EXECUTION
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
12.2
论文数:
1.2W
被引数:
3.7W
机构
引用论文
分享收藏
Oxidation of Gd–Ni composite and Gd cluster films grown on Ni(110) surface studied by photoemission
PREAI
分享收藏Effect of alkalized urine on renal calculi in patients with gout: a protocol for a placebo-controlled, double-blinded randomized controlled trial.png)
Trials
OAAI
TrialsIF0
OAAI分享收藏
查看更多内容