1023 search results - page 44 / 205 » A Formal Method for Program Slicing |
117
click to vote
CAL
2006
15 years 1 months ago
2006
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
IMPERIAL
1993
15 years 5 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
140
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
127
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
110
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...