Specification Testing with Locally Misspecified Alternatives | Synapse