A test oracle based on formal specifications