Efficient probabilistic testing of model transformations using search.

Louis M. Rose, Simon M. Poulding

Browse the full ICSE paper archive.