391 search results - page 7 / 79 » A genetic programming approach to automated software repair |
EUROGP
2004
Springer
15 years 2 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
ICANNGA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present an approach for automated generation of proactive aggregation protocols using Genetic Programming. First a short introduction into aggregation and proactive pr...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
An automated web based tool for assigning HIV-1 pure and recombinant subtypes within unaligned sequences is presented. The system combines the BLAST search algorithm and the recom...