2673 search results - page 174 / 535 » Guided Static Analysis |
138
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
165
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
205
click to vote
TKDE
2012
13 years 6 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
139
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
The processing, description and recognition of dynamic (time-varying) textures are new exciting areas of texture analysis. Many real-world textures are dynamic textures whose retri...
143
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...