Dynamic synthesis of program invariants using genetic programming.
Luigi Cardamone, Andrea Mocci, Carlo Ghezzi
VenueBCEC
Year2011
ProceedingsIEEE Congress on Evolutionary Computation
DBLP recordconf/cec/CardamoneMG11 ↗
Browse the full CEC paper archive.