An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria | Synapse