Luigi Cardamone, Andrea Mocci, Carlo Ghezzi. Dynamic synthesis of program invariants using genetic programming. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2011, New Orleans, LA, USA, 5-8 June, 2011. pages 624-631, IEEE, 2011. [doi]
Abstract is missing.