Model transformation testing: the state of the art.

Gehan M. K. Selim, James R. Cordy, Juergen Dingel

Browse the full MODELS paper archive.