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

Title:
Combining formal and machine learning techniques for the generation of JML specifications
Authors:
Puccetti, Armand, de Chalendar, Gaël, Gibello, Pierre-Yves
Source:
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. :59-64
Availability:
http://dl.acm.org/doi/10.1145/3464971.3468425
Database:
ACM Full-Text Collection