@inproceedings{TestingTheorems,
  author = {Mittelman, Segev Elazar and Goldstein, Harrison and Lampropoulos, Leonidas},
  title = {Testing Theorems, Fully Automatically},
  booktitle = {Proceedings of the ACM on Programming Languages (PACMPL), Volume OOPSLA},
  shortbooktitle = {OOPSLA},
  url = {https://lemonidas.github.io/pdf/TestingTheorems},
  year = {2026},
  doi = {},
}