Recent changes to Benchmarks

Benchmarks modified by

Wed, 23 Nov 2016 14:04:43 -0000

--- v2
+++ v3
@@ -4,7 +4,7 @@

 We have already collected some examples form the literature. They can be found in the following project: 

-<http: code.google.com="" a="" eclipselabs.org="" p="" citlab="" source="" browse="" trunk="" citlab.benchmarks=""/>
+<https: sourceforge.net="" p="" citlab="" code="" HEAD="" tree="" trunk="" citlab.benchmarks=""/>

 A list of examples of unconstrained problems with some data can be found in [Benchmarksunconstrained](Benchmarksunconstrained)

Benchmarks modified by Paolo Vavassori

Paolo Vavassori — Mon, 01 Feb 2016 16:13:18 -0000

--- v1
+++ v2
@@ -11,5 +11,4 @@
 A list of examples with constraints together with the test generation data for the test generators supported by Citlab (ACTS, CASA, and medici) can be found (depending on the date when we ran the experiments) here:

 [BenchmarksConstraints_2013_06_26](BenchmarksConstraints_2013_06_26)  
-[BenchmarksConstraints_2013_05_13](BenchmarksConstraints_2013_05_13)  
-[BenchmarksConstraints_2013_03_30](BenchmarksConstraints_2013_03_30)
+

Benchmarks modified by Anonymous

Anonymous — Wed, 22 Apr 2015 08:20:17 -0000

Benchmarks and examples

One goal of this project is to collect examples and benchmarks (in a common format).

We have already collected some examples form the literature. They can be found in the following project:

http://code.google.com/a/eclipselabs.org/p/citlab/source/browse/trunk/citlab.benchmarks/

A list of examples of unconstrained problems with some data can be found in Benchmarksunconstrained

A list of examples with constraints together with the test generation data for the test generators supported by Citlab (ACTS, CASA, and medici) can be found (depending on the date when we ran the experiments) here:

BenchmarksConstraints_2013_06_26
BenchmarksConstraints_2013_05_13
BenchmarksConstraints_2013_03_30