Journal article

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Artem Polyvyanyy, Andreas Solti, Matthias Weidlich, Claudio Di Ciccio, Jan Mendling

ACM Transactions on Software Engineering and Methodology | Association for Computing Machinery (ACM) | Published : 2020


The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are concerned with measuring the consistency between a collection of execution traces and a program specification. This problem is also tackled in process mining with the help of measures that describe the quality of a process specification automatically discovered from execution logs. Though various measures have been proposed, it was recently demonstrated that they neither fulfil essential properties, such as monotonicity, nor can they handle infinite behaviour. In this article, we address this research problem by introdu..

View full abstract