An Approach to Program Testing | Synapse