View of Automatic functions exclusion in patch testing using chopped symbolic execution