Genetic Programming conference papers by Carlo Ghezzi
Luigi Cardamone and Andrea Mocci and Carlo Ghezzi.
Dynamic Synthesis of Program Invariants using Genetic Programming. In
Alice E. Smitheditor,
Proceedings of the 2011 IEEE Congress on Evolutionary Computation, pages 617-624, New Orleans, USA, 2011. IEEE Press.
details