Finding short counterexamples in promela models using estimation of distribution algorithms.

Jan Staunton, John A. Clark

Browse the full GECCO paper archive.