TY  - RPRT
TI  - Property-Based Mutation Testing
AU  - Ezio Bartocci
AU  - Leonardo Mariani
AU  - Dejan Nickovic
AU  - Drishti Yadav
PY  - 2023
UR  - https://arxiv.org/abs/2301.13615
ID  - 2301.13615
ER  -