Specstractor
This is the web app or web related tool named Specstractor whose latest release can be downloaded as Specstractor.zip from this website redcoolmedia.net
Specstractor
APP DESCRIPTION:
Download this app named 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 information about how to download and use the tools please press the link below or go the wiki page.
Audience
Science/Research
Free download Web app or web tool Specstractor from RedcoolMedia.net