TY  - RPRT
TI  - Test4Enforcers: Test Case Generation for Software Enforcers
AU  - Michell Guzman
AU  - Oliviero Riganelli
AU  - Daniela Micucci
AU  - Leonardo Mariani
PY  - 2020
DO  - 10.1007/978-3-030-60508-7_15
UR  - https://arxiv.org/abs/2010.04258
ID  - 2010.04258
ER  -