Image may be NSFW.
Clik here to view.
Find logical errors in model transformations by means of applying symbolic execution methods.
Clik here to view.
