Recent changes to Home

Home modified by Christoph Schulze

Christoph Schulze — Sun, 22 Oct 2017 14:14:16 -0000

--- v7
+++ v8
@@ -5,4 +5,4 @@

 For a tutorial and installation instructions of the Extractor please click [here](Extractor).

-The Insight tool is a web application and can be accessed [here](https://insight-e8087.firebaseapp.com/examples). 
+The Insight tool is a web application and can be accessed [here](https://insight-e8087.firebaseapp.com/examples). And the instructions on how to use Insight are [here](Insight).

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 19:28:51 -0000

--- v6
+++ v7
@@ -1,8 +1,8 @@
 #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.
+Specstractor consists of two main components, the [Extractor](Extractor), which automatically extracts invariants from automatically generated test cases of a system using data mining, and [Insight](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](Extractor).

-The Insight tool is a web based tool and can be accessed [here](https://insight-e8087.firebaseapp.com/examples). For a tutorial please follow this [link](Insight).
+The Insight tool is a web application and can be accessed [here](https://insight-e8087.firebaseapp.com/examples).

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 19:07:01 -0000

--- v5
+++ v6
@@ -2,3 +2,7 @@
 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](Extractor).
+
+The Insight tool is a web based tool and can be accessed [here](https://insight-e8087.firebaseapp.com/examples). For a tutorial please follow this [link](Insight).

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 19:04:42 -0000

--- v4
+++ v5
@@ -1,4 +1,4 @@
 #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.
+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.

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 19:02:21 -0000

--- v3
+++ v4
@@ -1,4 +1,4 @@
 #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.
+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.

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 19:01:58 -0000

--- v2
+++ v3
@@ -1 +1,4 @@
 #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.

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 18:42:53 -0000

--- v1
+++ v2
@@ -1,8 +1 @@
-Welcome to your wiki!
-
-This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].
-
-The wiki uses [Markdown](/p/specstractor/wiki/markdown_syntax/) syntax.
-
-[[members limit=20]]
-[[download_button]]
+#Specstractor

Home modified by Christoph Schulze

Christoph Schulze — Fri, 20 Oct 2017 16:42:57 -0000

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.

Project Members:

Christoph Schulze (admin)