Sciweavers

2 search results - page 1 / 1
» Enhanced generalized ant programming (EGAP)
Sort
View
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
13 years 6 months ago
Enhanced generalized ant programming (EGAP)
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
Amirali Salehi-Abari, Tony White
ICSE
2008
IEEE-ACM
14 years 5 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su