TY - RPRT TI - Rigorous Assessment of Model Inference Accuracy using Language Cardinality AU - Donato Clun AU - Donghwan Shin AU - Antonio Filieri AU - Domenico Bianculli PY - 2024 DO - 10.1145/3640332 UR - https://arxiv.org/abs/2211.16587 ID - 2211.16587 ER -