@inproceedings{inproceedings, title  = {{Finding short counterexamples in promela models using estimation of distribution algorithms}},

 publisher = {{ACM}},

 url = {{https://doi.org/10.1145/2001576.2001834 }},

 year = {{2011}},

 month = {{7}},

 author = {{Staunton J and Clark JA}},

 doi = {{10.1145/2001576.2001834}},

 journal = {{Proceedings of the 13th annual conference on Genetic and evolutionary computation}},

 pages = {{1923-1930}},

 note = {{Accessed on 2025/11/04}}}