@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 2024/12/20}}}