A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations.

Thu, 01 Jan 2015 00:00:00 +0100

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