Recent changes to Citlab

Citlab modified by

Sun, 15 Nov 2015 18:30:27 -0000

--- v14
+++ v15
@@ -16,7 +16,7 @@
 VALIDATION TOOLS HOW TO
 -----------------------
 To use the new validation tools download the right yices1 release at
-<http: yices.csl.sri.com="" old="" download-yices1.shtml="">:
+<http: yices.csl.sri.com="" old="" download-yices1-full.shtml="">:

 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive

Citlab modified by

Sun, 15 Nov 2015 18:27:18 -0000

--- v13
+++ v14
@@ -16,7 +16,7 @@
 VALIDATION TOOLS HOW TO
 -----------------------
 To use the new validation tools download the right yices1 release at
-<http: yices.csl.sri.com="" download-yices1-full.shtml="">:
+<http: yices.csl.sri.com="" old="" download-yices1.shtml="">:

 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive

Citlab modified by

Sun, 15 Nov 2015 18:25:44 -0000

--- v12
+++ v13
@@ -25,7 +25,7 @@
 libyices.so from the subfolder "lib" of the downloaded archive so they have to install
 also GMP library <https: gmplib.org=""/>

-After this steps
+After these steps

 Add the following line to your eclipse.ini

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 15:42:25 -0000

--- v11
+++ v12
@@ -5,7 +5,7 @@

 ===  7/29/2014  NEW CITLAB RELEASE   WITH VALIDATION TOOLS  ===

-http://svn.codespot.com/a/eclipselabs.org/citlab/updatesite
+http://svn.code.sf.net/p/citlab/code/updatesite/

 Citlab at IWCT 2014   NEW VALIDATION TOOLS

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 15:06:59 -0000

--- v10
+++ v11
@@ -36,7 +36,7 @@
 When you  use for the first time the validator CitLab will ask you to give the path
 of the yices library you have previously downloaded

-***For further information and how to install citlab, see the [http://code.google.com/a/eclipselabs.org/p/citlab/wiki/TableOfContents wiki] pages***
+***For further information and how to install citlab, see the [https://sourceforge.net/p/citlab/wiki/TableOfContents/ wiki] pages***

 [[embed url="http://www.youtube.com/watch?v=UnIJHvlxzS0&feature=youtu.be"]]

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 15:05:38 -0000

--- v9
+++ v10
@@ -23,7 +23,7 @@

 Linux and OSX users can only download Yices with GMP dynamically linked and extract 
 libyices.so from the subfolder "lib" of the downloaded archive so they have to install
-also GMP library [https://gmplib.org/] 
+also GMP library <https: gmplib.org=""/>

 After this steps

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 15:05:13 -0000

--- v8
+++ v9
@@ -12,11 +12,11 @@
 ------------------------------------------
 Validation of Models and Tests for Constrained Combinatorial Interaction Testing
 in The 3rd International Workshop on Combinatorial Testing (IWCT 2014) In conjunction with International Conference on Software Testing (ICST 2014, March 31 - April 4) (2014)
-[http://cs.unibg.it/gargantini/research/papers/citvalidation_iwct2014.pdf PDF]
+<http: cs.unibg.it="" gargantini="" research="" papers="" citvalidation_iwct2014.pdf="">
 VALIDATION TOOLS HOW TO
 -----------------------
 To use the new validation tools download the right yices1 release at
-[http://yices.csl.sri.com/download-yices1-full.shtml]:
+<http: yices.csl.sri.com="" download-yices1-full.shtml="">:

 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 15:04:14 -0000

--- v7
+++ v8
@@ -29,9 +29,9 @@

 Add the following line to your eclipse.ini

- {{{
-  -Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla
-}}}
+ 
+***  -Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla ***
+

 When you  use for the first time the validator CitLab will ask you to give the path
 of the yices library you have previously downloaded

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 09:19:44 -0000

--- v6
+++ v7
@@ -38,8 +38,8 @@

 ***For further information and how to install citlab, see the [http://code.google.com/a/eclipselabs.org/p/citlab/wiki/TableOfContents wiki] pages***

-
-[[embed url="http://www.youtube.com/watch?v=UnIJHvlxzS0&feature=youtu.be"]]  />
+
+[[embed url="http://www.youtube.com/watch?v=UnIJHvlxzS0&feature=youtu.be"]]

 Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues.
 First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. It features and formally defines the concepts of parameters and types, constraints, seeds, and test goals. The language is defined by means of Xtext, a framework for the definition of domain-specific languages. Xtext is used to derive a powerful editor integrated with eclipse and with all the expected features of a modern editor.

Citlab modified by Paolo

Paolo — Wed, 22 Apr 2015 09:18:47 -0000

--- v5
+++ v6
@@ -39,7 +39,7 @@
 ***For further information and how to install citlab, see the [http://code.google.com/a/eclipselabs.org/p/citlab/wiki/TableOfContents wiki] pages***

 
-<wiki:video url="http://www.youtube.com/watch?v=UnIJHvlxzS0&amp;feature=youtu.be" width="480" height="390"/>
+[[embed url="http://www.youtube.com/watch?v=UnIJHvlxzS0&feature=youtu.be"]]  />

 Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues.
 First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. It features and formally defines the concepts of parameters and types, constraints, seeds, and test goals. The language is defined by means of Xtext, a framework for the definition of domain-specific languages. Xtext is used to derive a powerful editor integrated with eclipse and with all the expected features of a modern editor.