411 search results - page 31 / 83 » Automatically finding patches using genetic programming |
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
AIPS
1994
13 years 11 months ago
1994
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
IDEAL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...