58 search results - page 3 / 12 » Automated black-box testing of functional correctness using ... |
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
This paper proposes a way to enable approximate queries in a peer-to-peer network by using a special encoding function and error correcting codes. The encoding function maintains ...
TEC
2002
13 years 5 months ago
2002
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
ISSRE
2008
IEEE
14 years 4 days ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...