Test4Enforcers: Test Case Generation for Software Enforcers.

Michell Guzmn, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Browse the full RV paper archive.