Sciweavers

3736 search results - page 101 / 748
» Hand-Writing Program Generator Generators
Sort
View
GECCO
2009
Springer
134views Optimization» more  GECCO 2009»
15 years 7 months ago
Estimating the distribution and propagation of genetic programming building blocks through tree compression
Shin et al [19] and McKay et al [15] previously applied tree compression and semantics-based simplification to study the distribution of building blocks in evolving Genetic Progr...
Robert I. McKay, Xuan Hoai Nguyen, James R. Cheney...
115
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
EUROGP
2009
Springer
138views Optimization» more  EUROGP 2009»
15 years 9 months ago
Self Modifying Cartesian Genetic Programming: Fibonacci, Squares, Regression and Summing
Self Modifying CGP (SMCGP) is a developmental form of Cartesian Genetic Programming(CGP). It is able to modify its own phenotype during execution of the evolved program. This is do...
Simon Harding, Julian Francis Miller, Wolfgang Ban...
96
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
Architecture-Oriented Programming Using FRED
Implementing application-specific code conforming to architectural rules and conventions can be tedious. FRED is a tool prototype for architecture-oriented programming that takes ...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
MICAI
2004
Springer
15 years 7 months ago
Invariant Patterns for Program Reasoning
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen