981 search results - page 19 / 197 » Symbolic pointer analysis |
174
Voted
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
170
Voted
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe a method to enable the selection of specific text regions with a hand-held camera by means of projecting a structured light pointer on the document. The user indicates...
115
Voted
DAS
2008
Springer
15 years 8 months ago
2008
Springer
132
Voted
DAS
2008
Springer
15 years 8 months ago
2008
Springer
180
Voted
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...