TY  - RPRT
TI  - Caruca: Effective and Efficient Specification Mining for Opaque Software Components
AU  - Evangelos Lamprou
AU  - Seong-Heon Jung
AU  - Mayank Keoliya
AU  - Lukas Lazarek
AU  - Konstantinos Kallas
AU  - Michael Greenberg
AU  - Nikos Vasilakis
PY  - 2025
UR  - https://arxiv.org/abs/2510.14279
ID  - 2510.14279
ER  -