Home

Specstractor

Specstractor is an automated tool chain for the extraction and analysis of system specifications in the form of system invariants. These automatically generated invariants yield useful insight into the actual system behavior and can reveal flaws and missing elements in the developer-maintained specifications.

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 a tutorial and installation instructions of the Extractor please click here.

The Insight tool is a web application and can be accessed here. And the instructions on how to use Insight are here.