@article{article, title = {{Rigorous assessment of model inference accuracy using language cardinality}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/208612 }}, year = {{2024}}, month = {{4}}, author = {{Clun D and Shin D and Filieri A and Bianculli D}}, doi = {{10.1145/3640332}}, volume = {{33}}, journal = {{ACM Transactions on Software Engineering and Methodology}}, issue = {{4}}, pages = {{1-39}}, note = {{Accessed on 2025/11/28}}}