@misc{indiciae9af923c6fcdb,
  title = {Caruca: Effective and Efficient Specification Mining for Opaque Software Components},
  author = {Evangelos Lamprou and Seong-Heon Jung and Mayank Keoliya and Lukas Lazarek and Konstantinos Kallas and Michael Greenberg and Nikos Vasilakis},
  year = {2025},
  url = {https://arxiv.org/abs/2510.14279},
  note = {Source identifier: 2510.14279}
}