Automatic test amplification for executable models | Publicación