Login / Signup

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

Armand PuccettiGaël de ChalendarPierre-Yves Gibello
Published in: FTfJP@ECOOP (2021)
Keyphrases