TY  - CONF

T1  - Finding short counterexamples in promela models using estimation of distribution algorithms

JO  - Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11

PY  - 2011/01/01

AU  - Staunton J

AU  - Clark JA

ED  - 

DO  - DOI: 10.1145/2001576.2001834

PB  - ACM Press

SN  - 9781450305570

Y2  - 2024/12/23

ER  -