@inproceedings{inproceedings, title = {{Finding short counterexamples in promela models using estimation of distribution algorithms}}, publisher = {{ACM Press}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Staunton J and Clark JA}}, doi = {{10.1145/2001576.2001834}}, isbn = {{9781450305570}}, journal = {{Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11}}, note = {{Accessed on 2025/05/17}}}