@misc{indiciae3e46846fc4c3,
  title = {Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests},
  author = {Johann Glock and Clemens Bauer and Martin Pinzger},
  year = {2025},
  url = {https://arxiv.org/abs/2512.14475},
  note = {Source identifier: 2512.14475}
}