Comparison of program testing strategies | Synapse