Combining formal and machine learning techniques for the generation of JML specifications.

Armand Puccetti, Gal de Chalendar, Pierre-Yves Gibello

Browse the full ECOOP paper archive.