Recent changes to Korat2015

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Fri, 07 Aug 2015 18:31:50 -0000

--- v37
+++ v38
@@ -15,7 +15,7 @@
 * **Graph Archival using JSON (JavaScript Object Notation)**

 The source code and other information can be found at **[Korat 2015](https://sourceforge.net/projects/korat2015/ "Korat 2015")**
-
+Hope this work provides a foundation that enables more developers and testers to benefit from automated test input generation offered by Korat.

 ###
 ###Downloading###

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Fri, 07 Aug 2015 18:20:49 -0000

--- v36
+++ v37
@@ -36,7 +36,12 @@

 In our GumBall target example, the folder structure is:
 ![Folders](http://korat2015.sourceforge.net/folders.JPG)
-
+Current Folder --- korat2015.jar
+      |       
+       --- lib --- Alloy4Viz.jar, etc.
+      |
+       --- gumball -- Gumball.java, Gumball.class
+       
 ###
 ###Libraries

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Sat, 11 Jul 2015 23:18:33 -0000

--- v35
+++ v36
@@ -90,7 +90,7 @@

 #####
 #####non-FSM model#####
-The example targets can be explored as shown below.
+The example targets provided in the Korat repository can be explored as shown below.

 ######Windows

@@ -103,7 +103,8 @@
 (Command line interface)
 java -cp korat2015.jar;.\lib\*;. korat.Korat --class korat.examples.binarytree.BinaryTree --args 3,3,3

-#####
-*Korat 2015 generates the explorations in the viz_json folder. These files can be directly loaded and viewed in graph format.*
+######
+######
+*Korat 2015 generates the explorations in the viz_json folder. These files can also be directly loaded and viewed in graph format.*

 ***

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Sat, 11 Jul 2015 23:12:32 -0000

--- v34
+++ v35
@@ -1,3 +1,5 @@
+***
+
 ###
 # Korat 2015 Wiki Page #

@@ -61,6 +63,7 @@
 * (windows) javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
 * (linux) javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java

+###
 ###Running Korat 2015###

 #####FSM model#####
@@ -85,8 +88,9 @@
 (Command line interface)
 java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat -c gumball.GumBall -a 3

+#####
 #####non-FSM model#####
-The example targets can be explored using the below command.
+The example targets can be explored as shown below.

 ######Windows

@@ -98,3 +102,8 @@

 (Command line interface)
 java -cp korat2015.jar;.\lib\*;. korat.Korat --class korat.examples.binarytree.BinaryTree --args 3,3,3
+
+#####
+*Korat 2015 generates the explorations in the viz_json folder. These files can be directly loaded and viewed in graph format.*
+
+***

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Sat, 11 Jul 2015 23:03:08 -0000

--- v33
+++ v34
@@ -61,23 +61,40 @@
 * (windows) javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
 * (linux) javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java

+###Running Korat 2015###

-###
-###Running on Linux
-In the graphical user interface, the remaining arguments are provided on the Run screen.
+#####FSM model#####

-***Graphical user interface:***
-**java -noverify -cp ./korat2015.jar:./lib/*:./gumball:. korat.Korat --gui**
+######Linux
+(Graphical user interface)
+java -noverify -cp ./korat2015.jar:./lib/*:./gumball:. korat.Korat --gui
+Enter following arguments in the Run screen:
+--args = 3
+--class = gumball.GumBall

-***Command line interface:***
-**java -noverify -cp ./korat2015.jar:./lib/*:./gumball:. korat.Korat -c gumball.GumBall -a 3**
+(Command line interface)
+java -noverify -cp ./korat2015.jar:./lib/*:./gumball:. korat.Korat -c gumball.GumBall -a 3

-###
-###Running on Windows
-In the graphical user interface, the remaining arguments are provided on the Run screen.
+######Windows
+(Graphical user interface)
+java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat --gui
+Enter following arguments in the Run screen:
+--args = 3
+--class = gumball.GumBall

-***Graphical user interface:***
-**java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat --gui**
+(Command line interface)
+java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat -c gumball.GumBall -a 3

-***Command line interface:***
-**java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat -c gumball.GumBall -a 3**
+#####non-FSM model#####
+The example targets can be explored using the below command.
+
+######Windows
+
+(Graphical user interface)
+java -cp korat2015.jar;.\lib*;. korat.Korat --gui
+Enter following arguments in the Run screen:
+--args = 3,3,3
+--class = korat.examples.binarytree.BinaryTree
+
+(Command line interface)
+java -cp korat2015.jar;.\lib\*;. korat.Korat --class korat.examples.binarytree.BinaryTree --args 3,3,3

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Thu, 25 Jun 2015 23:09:59 -0000

--- v32
+++ v33
@@ -3,7 +3,7 @@

 **Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.**

-**Please see [Korat](http://korat.sourceforge.net/index.html "Korat") for more information on the Korat application.**
+Please see **[Korat](http://korat.sourceforge.net/index.html "Korat")** for more information on the Korat application.

 **Korat 2015 includes the below enhancements to Korat:**

@@ -12,7 +12,7 @@
 * **Finite State Machine Domain**
 * **Graph Archival using JSON (JavaScript Object Notation)**

-**The source code and other information can be found at [Korat 2015](https://sourceforge.net/projects/korat2015/ "Korat 2015")**
+The source code and other information can be found at **[Korat 2015](https://sourceforge.net/projects/korat2015/ "Korat 2015")**

 ###
@@ -20,8 +20,8 @@

 There are multiple ways to download the Korat 2015 application:

-* Download Korat 2015 bundle **[here](http://sourceforge.net/projects/korat2015/files/korat2015/bundle/korat2015.jar/download)**. This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
-* Download Korat 2015 lite **[here](http://sourceforge.net/projects/korat2015/files/korat2015/lite/korat2015.jar/download)**. This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
+* Download Korat 2015 **[bundle](http://sourceforge.net/projects/korat2015/files/korat2015/bundle/korat2015.jar/download)**. This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
+* Download Korat 2015 **[lite](http://sourceforge.net/projects/korat2015/files/korat2015/lite/korat2015.jar/download)**. This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
 * Download source files and build. The source code can be used to build the korat2015.jar file, or a custom korat2015.jar file.

 ###
@@ -56,7 +56,7 @@

 ###
 ###Creating Target Class
-You can download Gumball.java **[here](http://korat2015.sourceforge.net/GumBall.java)** , and compile the target gumball.GumBall class : 
+You can **[download](http://korat2015.sourceforge.net/GumBall.java)** Gumball.java, and compile the target gumball.GumBall class : 

 * (windows) javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
 * (linux) javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Thu, 25 Jun 2015 23:07:30 -0000

--- v31
+++ v32
@@ -20,8 +20,8 @@

 There are multiple ways to download the Korat 2015 application:

-* Download Korat 2015 bundle [here](http://sourceforge.net/projects/korat2015/files/korat2015/bundle/korat2015.jar/download). This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
-* Download Korat 2015 lite [here](http://sourceforge.net/projects/korat2015/files/korat2015/lite/korat2015.jar/download). This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
+* Download Korat 2015 bundle **[here](http://sourceforge.net/projects/korat2015/files/korat2015/bundle/korat2015.jar/download)**. This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
+* Download Korat 2015 lite **[here](http://sourceforge.net/projects/korat2015/files/korat2015/lite/korat2015.jar/download)**. This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
 * Download source files and build. The source code can be used to build the korat2015.jar file, or a custom korat2015.jar file.

 ###
@@ -56,7 +56,7 @@

 ###
 ###Creating Target Class
-You can download Gumball.java [here](http://korat2015.sourceforge.net/GumBall.java), and compile the target gumball.GumBall class : 
+You can download Gumball.java **[here](http://korat2015.sourceforge.net/GumBall.java)** , and compile the target gumball.GumBall class : 

 * (windows) javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
 * (linux) javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Thu, 25 Jun 2015 23:00:48 -0000

--- v30
+++ v31
@@ -20,8 +20,8 @@

 There are multiple ways to download the Korat 2015 application:

-* Download Korat 2015 bundle. This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
-* Download Korat 2015-lite. This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
+* Download Korat 2015 bundle [here](http://sourceforge.net/projects/korat2015/files/korat2015/bundle/korat2015.jar/download). This bundle contains the libraries including those for generating graphs. If you instead need to use GraphViz for graphs, it needs to be downloaded and installed separately.
+* Download Korat 2015 lite [here](http://sourceforge.net/projects/korat2015/files/korat2015/lite/korat2015.jar/download). This is just the core korat 2015, and does not contain the libraries. The following libraries need to be downloaded separately: alloy4viz.jar, collections-generic-4.01.jar, colt-1.2.0.jar, commons-cli-1.0.jar, concurrent-1.3.4.jar, gson-2.2.4.jar, javassist.jar, jung-algorithms-2.0.1.jar, jung-api-2.0.1.jar, jung-graph-impl-2.0.1.jar, jung-visualization-2.0.1.jar, and junit.jar.
 * Download source files and build. The source code can be used to build the korat2015.jar file, or a custom korat2015.jar file.

 ###

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Thu, 25 Jun 2015 22:21:28 -0000

--- v29
+++ v30
@@ -31,6 +31,9 @@
 + The current directory contains two sub-directories, <target> and lib. 
 + The <target> directory contains the <target>.jar file. 
 + The lib sub-directory contains the library files.
+
+In our GumBall target example, the folder structure is:
+![Folders](http://korat2015.sourceforge.net/folders.JPG)

 ###
 ###Libraries

Korat2015 modified by Kilnagar Bhaskar

Kilnagar Bhaskar — Thu, 25 Jun 2015 22:06:29 -0000

--- v28
+++ v29
@@ -33,6 +33,33 @@
 + The lib sub-directory contains the library files.

 ###
+###Libraries
+
+Web Page | URL
+---------|-----
+[Alloy4Viz](http://korat.sourceforge.net/index.html "Alloy4Viz Webpage") | [Download alloy-4.0 vizualizer](http://alloy.mit.edu/alloy4/alloy4viz.jar "Download")
+[Commons-Collections with Generics](http://korat.sourceforge.net/index.html "WebPage") | [Download collections-generic-4.01](https://sourceforge.net/projects/collections/files/latest/download "Download")
+[Colt](https://dst.lbl.gov/ACSSoftware/colt/ "Webpage") | [Download colt-1.2.0](https://dst.lbl.gov/ACSSoftware/colt/colt-download "Download")
+[Jakarta Commons CLI library](http://jakarta.apache.org/commons/cli/ "Webpage") | [Download commons-cli 1.0](http://mirror.utdlug.org/apache/jakarta/commons/cli/binaries/cli-1.0.zip  "Download")
+[Concurrent library](http://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html "Webpage") | [Download concurrent-1.3.4](http://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/current/concurrent.zip "Download")
+[Google Gson](https://code.google.com/p/google-gson/ "Webpage") | [Download gson-2.2.4](https://google-gson.googlecode.com/files/google-gson-2.2.4-release.zip "Download")
+[Javassist](http://www.csg.is.titech.ac.jp/~chiba/javassist/ "Webpage") | [Download javassist-3.3](http://umn.dl.sourceforge.net/sourceforge/jboss/javassist-3.3.zip "Download")
+[Jung Algorithms](http://jung.sourceforge.net/ "Webpage") | [Download jung-algorithms-2.0.1](http://jung.sourceforge.net/download.html "Download")
+[Jung API](http://jung.sourceforge.net/ "Webpage") | [Download jung-api-2.0.1](http://jung.sourceforge.net/download.html "Download")
+[Jung Graph](http://jung.sourceforge.net/ "Webpage") | [Download jung-graph-impl-2.0.1](http://jung.sourceforge.net/download.html "Download")
+[Jung Visualization](http://jung.sourceforge.net/ "Webpage") | [Download jung-visualization-2.0.1](http://jung.sourceforge.net/download.html "Download")
+[JUnit](http://junit.org/ "Webpage") | [Download junit](http://bit.ly/My9IXz "Download")
+
+
+###
+###Creating Target Class
+You can download Gumball.java [here](http://korat2015.sourceforge.net/GumBall.java), and compile the target gumball.GumBall class : 
+
+* (windows) javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
+* (linux) javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java
+
+
+###
 ###Running on Linux
 In the graphical user interface, the remaining arguments are provided on the Run screen.

@@ -51,30 +78,3 @@

 ***Command line interface:***
 **java -noverify -cp korat2015.jar;.\gumball;.\lib\\*;. korat.Korat -c gumball.GumBall -a 3**
-
-###
-**Note:** To quickly create the target gumball.GumBall class for demo purposes:
-
-* get the file examples/korat/examples/fsm/FSM.java
-* rename the file to GumBall.java
-* edit the file - rename the class to GumBall and the package to gumball
-* compile (windows) using javac -Xlint:deprecation -cp .;.\korat2015.jar .\gumball\GumBall.java
-* compile (linux) using javac -Xlint:deprecation -cp .:./korat2015.jar ./gumball/GumBall.java
-
-###
-###Libraries
-
-Web Page | URL
----------|-----
-[Alloy4Viz](http://korat.sourceforge.net/index.html "Alloy4Viz Webpage") | [Download alloy-4.0 vizualizer](http://alloy.mit.edu/alloy4/alloy4viz.jar "Download")
-[Commons-Collections with Generics](http://korat.sourceforge.net/index.html "WebPage") | [Download collections-generic-4.01](https://sourceforge.net/projects/collections/files/latest/download "Download")
-[Colt](https://dst.lbl.gov/ACSSoftware/colt/ "Webpage") | [Download colt-1.2.0](https://dst.lbl.gov/ACSSoftware/colt/colt-download "Download")
-[Jakarta Commons CLI library](http://jakarta.apache.org/commons/cli/ "Webpage") | [Download commons-cli 1.0](http://mirror.utdlug.org/apache/jakarta/commons/cli/binaries/cli-1.0.zip  "Download")
-[Concurrent library](http://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html "Webpage") | [Download concurrent-1.3.4](http://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/current/concurrent.zip "Download")
-[Google Gson](https://code.google.com/p/google-gson/ "Webpage") | [Download gson-2.2.4](https://google-gson.googlecode.com/files/google-gson-2.2.4-release.zip "Download")
-[Javassist](http://www.csg.is.titech.ac.jp/~chiba/javassist/ "Webpage") | [Download javassist-3.3](http://umn.dl.sourceforge.net/sourceforge/jboss/javassist-3.3.zip "Download")
-[Jung Algorithms](http://jung.sourceforge.net/ "Webpage") | [Download jung-algorithms-2.0.1](http://jung.sourceforge.net/download.html "Download")
-[Jung API](http://jung.sourceforge.net/ "Webpage") | [Download jung-api-2.0.1](http://jung.sourceforge.net/download.html "Download")
-[Jung Graph](http://jung.sourceforge.net/ "Webpage") | [Download jung-graph-impl-2.0.1](http://jung.sourceforge.net/download.html "Download")
-[Jung Visualization](http://jung.sourceforge.net/ "Webpage") | [Download jung-visualization-2.0.1](http://jung.sourceforge.net/download.html "Download")
-[JUnit](http://junit.org/ "Webpage") | [Download junit](http://bit.ly/My9IXz "Download")