TY  - RPRT
TI  - Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
AU  - Johann Glock
AU  - Clemens Bauer
AU  - Martin Pinzger
PY  - 2025
UR  - https://arxiv.org/abs/2512.14475
ID  - 2512.14475
ER  -