411 search results - page 28 / 83 » Automatically finding patches using genetic programming |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
Based in part on observations about the incremental nature of most state changes in biological systems, we introduce the idea of Memory with Memory in Genetic Programming (GP), wh...
HOTSWUP
2009
ACM
14 years 1 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...