570 search results - page 40 / 114 » From Program Verification to Program Synthesis |
129
Voted
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
143
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
161
Voted
TSE
2010
14 years 9 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
128
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
138
click to vote
AUSSOIS
2001
Springer
15 years 7 months ago
2001
Springer
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-s...