TY - GEN T1 - Rigorous Assessment of Model Inference Accuracy using Language Cardinality PY - 2022/11/29 AU - Clun D AU - Shin D AU - Filieri A AU - Bianculli D ED - Y2 - 2024/12/22 ER -