7103 search results - page 833 / 1421 » Program Generation and Components |
190
click to vote
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 7 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
199
click to vote
IJAIT
2006
15 years 7 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
222
click to vote
IJON
2006
15 years 7 months ago
2006
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
217
click to vote
CG
2002
Springer
15 years 7 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
211
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
We examine methods for constructing regression ensembles based on a linear program (LP). The ensemble regression function consists of linear combinations of base hypotheses generat...