TY - GEN T1 - Rigorous Assessment of Model Inference Accuracy using Language Cardinality T2 - arXiv PY - 2022/11/29 AU - Clun D AU - Shin D AU - Filieri A AU - Bianculli D ED - DO - DOI: 10.48550/arxiv.2211.16587 Y2 - 2025/11/28 ER -