A library for automatically generating regression tests for python