Efficient probabilistic testing of model transformations using search (0)

by L Rose, S Poulding
Venue:in Proc. CMSBSE workshop, co-located with Int’l Conf. Software Engineering. IEEE / ACM