Sciweavers

4722 search results - page 236 / 945
» Representation-independent program analysis
Sort
View
CCECE
2006
IEEE
16 years 16 days ago
AOP Extension for Security Testing of Programs
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhen...
COMPSAC
2005
IEEE
16 years 2 days ago
Goal-Oriented Test Data Generation for Programs with Pointer Variables
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
EUROGP
2005
Springer
107views Optimization» more  EUROGP 2005»
16 years 2 hour ago
Operator-Based Distance for Genetic Programming: Subtree Crossover Distance
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
Steven M. Gustafson, Leonardo Vanneschi
SCALESPACE
2005
Springer
15 years 12 months ago
Matrix-Valued Filters as Convex Programs
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...
Martin Welk, Florian Becker, Christoph Schnör...
VMCAI
2005
Springer
15 years 12 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel