The InvariMint approach provides a common way of comparing different model
inference algorithms. We can only build evidence of this through application of
InvariMint to different algorithms. The purpose of this issue is to apply the
InvariMint approach to the standard kTails algorithm.
This task has three parts:
1. Mine the set of all unique kTail graphs of depth k from a set of input
traces.
2. Compose the mined kTail graphs into a model of the traces.
3. Expose the approach through a command line option.
Original issue reported on code.google.com by bestchai on 28 Feb 2012 at 2:04
Original issue reported on code.google.com by
bestchai
on 28 Feb 2012 at 2:04