@misc{indiciaeb60504a9acdc,
  title = {Can Formal Specifications Be Synthesized from Tests Alone?},
  author = {Tianhai Liu and Maximilian Müller and Tobias Hey and Vitus Lüntzel and Muhammad Minhas and Anne Koziolek and Bernhard Beckert},
  year = {2026},
  doi = {10.1145/3832783.3834549},
  url = {https://arxiv.org/abs/2608.13240},
  note = {Source identifier: 2608.13240}
}