An empirical investigation on the readability of manual and generated test cases | Synapse