@conference {DBLP:conf/gecco/AlbaC08, title = {Searching for liveness property violations in concurrent systems with {ACO}}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008}, year = {2008}, pages = {1727{\textendash}1734}, publisher = {{ACM}}, organization = {{ACM}}, doi = {10.1145/1389095.1389431}, url = {http://doi.acm.org/10.1145/1389095.1389431}, author = {Enrique Alba and Francisco Chicano}, editor = {Conor Ryan and Maarten Keijzer} }