TY - JOUR T1 - Rigorous Assessment of Model Inference Accuracy using Language Cardinality JO - ACM Transactions on Software Engineering and Methodology UR - http://dx.doi.org/10.1145/3640332 PY - 2024/01/16 AU - Clun D AU - Shin D AU - Filieri A AU - Bianculli D ED - DO - DOI: 10.1145/3640332 PB - Association for Computing Machinery (ACM) Y2 - 2025/05/26 ER -