Specstractor
Tool chain for the automated extraction/analysis of system invariants
...Specstractor consists of two main components, the Extractor, which automatically extracts invariants from automatically generated test cases of a system using data mining, and Insight, a web based tool that gives the user high level views and visualizations of the resulting invariants.
For information about how to download and use the tools please press the link below or go the wiki page.