M. Papucci, K. Sakurai, A. Weiler and L. Zeune, Atom: Automated Tests of Models, in preparation.