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 - 2025/06/27 ER -