2673 search results - page 324 / 535 » Guided Static Analysis |
164
click to vote
CSMR
2007
IEEE
16 years 28 days ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
171
click to vote
ACSC
2006
IEEE
16 years 19 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
169
click to vote
IEEEPACT
2006
IEEE
16 years 18 days ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
150
click to vote
SEFM
2006
IEEE
16 years 17 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
157
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...