Crossover can be constructive when computing unique input-output sequences

DOI10.1007/S00500-010-0610-2MaRDI QIDQ416273zbMATH OpenOpenAlexFDO

Authors Per Kristian Lehre, Xin Yao

Publication date 10 May 2012

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-010-0610-2

zbMATH Keywords

crossover operatorevolutionary algorithmsfinite state machinesruntime analysisunique input-output sequences

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Runtime analysis of the (1+1) EA on computing unique input output sequences
• Formal Approaches to Software Testing
• Crossover can provably be useful in evolutionary computation
• The analysis of evolutionary algorithms -- A proof that crossover really can help
• Evolutionary generation of unique input/output sequences for class behavioral testing

Cites work

• A study of drift analysis for estimating computation time of evolutionary algorithms
• Crossover can provably be useful in evolutionary computation
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 819814 (Why is no real title available?)
• scientific article; zbMATH DE number 1405791 (Why is no real title available?)
• On the analysis of the \((1+1)\) evolutionary algorithm
• Real royal road functions for constant population size
• The analysis of evolutionary algorithms -- A proof that crossover really can help
• The one-dimensional Ising model: mutation versus recombination

Cited in

(11)

• Tight bounds on the expected runtime of a standard steady state genetic algorithm
• On the benefits of populations for the exploitation speed of standard steady-state genetic algorithms
• Lower bounds on the runtime of crossover-based algorithms via decoupling and family graphs
• Fixed-parameter tractability of crossover: steady-state GAs on the closest string problem
• A study on the extended unique input/output sequence
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Hitting times of local and global optima in genetic algorithms with very high selection pressure
• Formal Approaches to Software Testing
• An extended jump functions benchmark for the analysis of randomized search heuristics
• Design and analysis of different alternating variable searches for search-based software testing
• Evolutionary generation of unique input/output sequences for class behavioral testing

This page was built for publication: Crossover can be constructive when computing unique input-output sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q416273)