TY - JOUR T1 - Rigorous assessment of model inference accuracy using language cardinality JO - ACM Transactions on Software Engineering and Methodology UR - https://eprints.whiterose.ac.uk/id/eprint/208612 PY - 2024/04/18 AU - Clun D AU - Shin D AU - Filieri A AU - Bianculli D ED - DO - DOI: 10.1145/3640332 PB - Association for Computing Machinery (ACM) VL - 33 IS - 4 SP - 1 EP - 39 Y2 - 2025/11/28 ER -