TY  - RPRT
TI  - SAT-Based Extraction of Behavioural Models for Java Libraries with Collections
AU  - Larisa Safina
AU  - Simon Bliudze
PY  - 2023
UR  - https://arxiv.org/abs/2205.15270
ID  - 2205.15270
ER  -