ECOOP-ISSTA 2021


DCR_JMLSpec_capture.jpg

Date: 11-17 July 2021
Place: online
Free registration: https://conf.researchr.org/attending/ecoop-issta-2021/registration

The DECODER consortium submitted a paper that was accepted by the ECOOP 2021 conference organisation committee.

Title: Combining formal and machine learning techniques for the generation of JML specifications
Authors: Armand Puccetti, Gaël de Chalendar (CEA), Pierre-Yves Gibello (OW2)

Presentation slides

 



This DECODER presentation was given on July 13th, 2021.
Read the DECODER scientific paper