A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations. - Vahid Rafe; Maryam Moradi; Rosa Yousefian; Amin Nikanjam (Appl. Soft Comput., 2015)