Auto generation of charactierization tests for Python