317 search results - page 8 / 64 » Deductive Program Repair |
CACM
2010
14 years 9 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
107
click to vote
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
DAGSTUHL
1998
14 years 11 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
15 years 2 months ago
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
ECAL
2003
Springer
15 years 2 months ago
2003
Springer
A method for evolving a developmental program inside a cell to create multicellular organisms of arbitrary size and characteristics is described. The cell genotype is evolved so th...