A Framework for the evaluation of specification miners based on finite state machines (supplementary material)
This page provides supplementary material for our paper on evaluating specification miners:
Implementation of Precision and Recall Metrics
Your can download an implementation of the precision and recall metrics. It comes with a simple Java file that demonstrates how to create two finite state machines and how to compute the precision/recall of one with respect to the other. The demo uses the finite state machines from Figure 1 of our ICSM'10 paper. The implementation is in Scala and builds upon Anders Møller's automaton library. The above download contains all requirements and has been tested with Java 1.7.0.
After downloading and unpacking, run the demo with: