Translating code comments to procedure specifications. - Arianna Blasi; Alberto Goffi; Konstantin Kuznetsov 001; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Sergio Delgado Castellanos (ISSTA, 2018)