On the Effectiveness of Manual and Automatic Unit Test Generation | Synapse