A test oracle based on formal specifications | Synapse