An empirical study of automated unit test generation for Python | Synapse