101 search results - page 4 / 21 » Improving Security Using Extensible Lightweight Static Analy... |
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
115
click to vote
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...