diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
index 8d174ecc3f2acaea9846b07438073c2a5f3ec296..d5b94b5fafdb13fdeb601c857e723eaad1ad26c8 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
@@ -39,7 +39,8 @@ Require-Bundle: eu.fbk.eclipse.standardtools.utils,
  eu.fbk.eclipse.standardTools.XSapExecService,
  org.polarsys.chess.smvExporter,
  org.polarsys.chess.contracts.transformations,
- org.eclipse.acceleo.engine;bundle-version="3.6.6"
+ org.eclipse.acceleo.engine;bundle-version="3.6.6",
+ org.eclipse.equinox.event;bundle-version="1.3.200"
 Bundle-ActivationPolicy: lazy
 Import-Package: eu.fbk.eclipse.standardtools.logger,
  eu.fbk.tools.adapter.ui.preferences,
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/build.properties b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/build.properties
index af2e3af674c182a348909e89c67b7569da750432..59b7f4ddcf820229f928d55abe3694ef4fc4c4ef 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/build.properties
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/build.properties
@@ -1,3 +1,6 @@
+source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
-               plugin.xml
+               plugin.xml,\
+               configTest.properties,\
+               log4j.properties
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml
index baffb0a80628b948e4d5f11436d15224eb25f1bc..82174071fce11a6c8219d508c6cfcc7ff23dea16 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml
@@ -1,13 +1,26 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
-    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
-  <modelVersion>4.0.0</modelVersion>
-  <parent>
-    <groupId>org.polarsys.chess</groupId>
-    <artifactId>org.polarsys.chess.parent</artifactId>
-    <version>1.0.0-SNAPSHOT</version>
-    <relativePath>../../../org.polarsys.chess.parent</relativePath>
-  </parent>
-  <artifactId>org.polarsys.chess.contracts.verificationService.test.runtime</artifactId>
-  <packaging>eclipse-test-plugin</packaging>
+<project
+	xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
+	xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+	<modelVersion>4.0.0</modelVersion>
+	<parent>
+		<groupId>org.polarsys.chess</groupId>
+		<artifactId>org.polarsys.chess.parent</artifactId>
+		<version>1.0.0-SNAPSHOT</version>
+		<relativePath>../../../org.polarsys.chess.parent</relativePath>
+	</parent>
+	<artifactId>org.polarsys.chess.contracts.verificationService.test.runtime</artifactId>
+	<packaging>eclipse-test-plugin</packaging>
+
+	<build>
+		<plugins>
+			<plugin>
+				<groupId>org.eclipse.tycho</groupId>
+				<artifactId>tycho-surefire-plugin</artifactId>
+				<configuration>
+					<failIfNoTests>false</failIfNoTests>
+				</configuration>
+			</plugin>
+		</plugins>
+	</build>
 </project>