An empirical comparison of data flow and mutation‐based test adequacy criteria | Synapse