@conference{DBLP:conf/cec/CardamoneMG11,
author = "Luigi Cardamone and Mocci, Andrea and Ghezzi, Carlo",
booktitle = "IEEE Congress on Evolutionary Computation",
crossref = "DBLP:conf/cec/2011",
pages = "624-631",
title = "{D}ynamic synthesis of program invariants using genetic programming",
year = "2011",
}

<div><a href="http://www.artio.net" style="font-size: 8px; visibility: visible; display: inline" title="Information systems, databases, internet and web applications">SEO by Artio</a></div>