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

Artem Polyvyanyy, Andreas Solti, Matthias Weidlich +2

The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are conce…