Rigorous assessment of model inference accuracy using language cardinality

Clun, D., Shin, D. orcid.org/0000-0002-0840-6449, Filieri, A. et al. (1 more author) (2024) Rigorous assessment of model inference accuracy using language cardinality. ACM Transactions on Software Engineering and Methodology, 33 (4). 95. pp. 1-39. ISSN 1049-331X

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2024 Copyright held by the owner/author(s). This is an author-produced version of a paper subsequently published in ACM Transactions on Software Engineering and Methodology. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: Model inference; specification mining; process mining; model assessment; formal specifications; machine learning; software engineering; behavioral comparison; conformance checking; precision; recall
Dates:
  • Published: May 2024
  • Published (online): 18 April 2024
  • Accepted: 12 December 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 02 Feb 2024 10:54
Last Modified: 06 Nov 2024 14:31
Status: Published
Publisher: Association for Computing Machinery (ACM)
Refereed: Yes
Identification Number: 10.1145/3640332
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics