391 search results - page 30 / 79 » A genetic programming approach to automated software repair |
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
124
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
EUROGP
2008
Springer
15 years 1 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
122
click to vote
CADE
2009
Springer
16 years 12 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...