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

UR  - https://doi.org/10.1145/2001576.2001834

PY  - 2011/07/12

AU  - Staunton J

AU  - Clark JA

ED  - 

DO  - DOI: 10.1145/2001576.2001834

PB  - ACM

SP  - 1923

EP  - 1930

Y2  - 2025/11/04

ER  -