12272 search results - page 8 / 2455 » Experimental program analysis |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
In genetic programming, there is a tendency for individuals in a population to accumulate fragments of code – often called introns – which are redundant in the fitness evaluat...
ENTCS
2006
13 years 9 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
OOPSLA
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...