Finding short counterexamples in promela models using estimation of distribution algorithms

Created by W.Langdon from gp-bibliography.bib Revision:1.6628

@InProceedings{Staunton:2011:GECCO,
}

Genetic Programming entries for Jan Staunton John A Clark

Citations