388 search results - page 3 / 78 » Program Analysis Using Symbolic Ranges |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
GECCO
2010
Springer
15 years 29 days ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...