Checking Patch Behaviour against Test Specification