Test4Enforcers: Test Case Generation for Software Enforcers