Sciweavers

280 search results - page 4 / 56
» Dynamic Query-Based Debugging
Sort
View
86
Voted
AAAI
2008
15 years 1 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
120
Voted
SCAM
2002
IEEE
15 years 3 months ago
Dynamic Slicing Object-Oriented Programs for Debugging
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
Baowen Xu, Zhenqiang Chen, Hongji Yang
TAPSOFT
1995
Springer
15 years 2 months ago
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
Frank Tip
CGO
2009
IEEE
15 years 5 months ago
Transparent Debugging of Dynamically Optimized Code
Debugging programs at the source level is essential in the software development cycle. With the growing importance of dynamic optimization, there is a clear need for debugging sup...
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa