1379 search results - page 85 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
164
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
166
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
149
click to vote
APN
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
133
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
152
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...