Automatic test amplification for executable models.

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Suny, Pablo Gmez-Abajo, Pablo C. Caizares, Esther Guerra, Juan de Lara

Browse the full MODELS paper archive.