Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria | Synapse