MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation. - Vahid Rafe; Mahsa Darghayedi; Einollah Pira (Soft Comput., 2019)