Ant-colony optimization for automating test model generation in model transformation testing | Publicación