M. Ristin, P. Schanely, L. De bruyn - Automatic Testing of Python Functions Based on Contracts