@conference {DBLP:conf/gecco/AlbaC07a,
	title = {Finding safety errors with {ACO}},
	booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007},
	year = {2007},
	pages = {1066{\textendash}1073},
	publisher = {{ACM}},
	organization = {{ACM}},
	doi = {10.1145/1276958.1277171},
	url = {http://doi.acm.org/10.1145/1276958.1277171},
	author = {Enrique Alba and Francisco Chicano},
	editor = {Hod Lipson}
}
