diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
index c1f55b964213c7d88fc9498d04297321ccc7975f..a7be1d0bc13197ee4437db0cd17c82cd966c394f 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
@@ -8,7 +8,7 @@ import org.junit.runners.Suite.SuiteClasses;
 @RunWith(Suite.class)
 @SuiteClasses({
 	TestBasicOperations.class, TestBasicOperationsHeadless.class, TestSafetyAnalysisOperations.class, TestVAndVOperations.class
-//,TestVandVOperationsOSLC.class	
+,TestVandVOperationsOSLC.class	
 })
 public class AllTests {
 }
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
index 48c1a2b12ccfb1386fa9548f0cb23f79fce71bec..322096c8242148744aacc0478901510f99d818d5 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
@@ -291,7 +291,8 @@ public class TestBasicOperations extends AbstractPapyrusTest {
 				.setValue(PreferenceConstants.OCRA_EXECUTABLE, ocraFile.getAbsolutePath());
 		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore()
 				.setValue(PreferenceConstants.NUXMV_EXECUTABLE, nuXmvFile.getAbsolutePath());
-
+		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
+				PreferenceConstants.OSLC_ENABLED, false);
 	}
 
 	Model getModel() {
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
index bfd3fd0e4672f7ca32e9ef233e8f96bdf5236524..ad21574640a0b91e665f4a1e091f60fe03c8a0df 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
@@ -26,6 +26,7 @@ import org.polarsys.chess.service.core.model.UMLStateMachineModel;
 
 import eu.fbk.eclipse.standardtools.ModelTranslatorToOcra.core.services.OSSTranslatorServiceAPI;
 import eu.fbk.eclipse.standardtools.StateMachineTranslatorToSmv.core.services.SMVTranslatorServiceAPI;
+import eu.fbk.tools.adapter.ui.preferences.PreferenceConstants;
 
 @Headless
 public class TestBasicOperationsHeadless extends AbstractPapyrusTest {
@@ -146,6 +147,8 @@ public class TestBasicOperationsHeadless extends AbstractPapyrusTest {
 	@Before
 	public void setTestParameters() throws Exception {
 		testOutput = TestResultsUtil.cleanDirectory("testOutputBasicOperationsHeadless");
+		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
+				PreferenceConstants.OSLC_ENABLED, false);
 	}
 
 	Model getModel() {
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
index 20f5efd60f6d0c07bd238dea176022e1b7499b6a..42d7f7db8193c31f3cb94530f3040bc34418de37 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
@@ -247,6 +247,8 @@ public class TestSafetyAnalysisOperations extends AbstractPapyrusTest {
 				PreferenceConstants.FEI_EXPANDER_EXECUTABLE,
 					feiExpFile.getAbsolutePath());
 		
+		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
+				PreferenceConstants.OSLC_ENABLED, false);
 	}
 
 	Model getModel() {
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
index 3d7fcf511c221e2a9a6a03d9bd9e20d4cd7ee7c6..6c5e9810ebc2047be076dadb7e1498a98104934f 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
@@ -307,7 +307,8 @@ public class TestVAndVOperations extends AbstractPapyrusTest {
 				.setValue(PreferenceConstants.OCRA_EXECUTABLE, ocraFile.getAbsolutePath());
 		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore()
 				.setValue(PreferenceConstants.NUXMV_EXECUTABLE, nuXmvFile.getAbsolutePath());
-
+		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
+				PreferenceConstants.OSLC_ENABLED, false);
 	}
 
 	Model getModel() {
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
index eed703b014a5094a37e0d995225c706f98a3d8f5..93d673a0d1e35827246006cd77434a1cf25a2270 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
@@ -25,7 +25,13 @@ public class TestVandVOperationsOSLC extends TestVAndVOperations{
 		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
 				PreferenceConstants.OSLC_SP_CATALOG_PORT,"8080");
 		eu.fbk.tools.adapter.ui.Activator.getDefault().getPreferenceStore().setValue(
-				OSLCConstants.OSLC_AUTO,"2");
-		
+				OSLCConstants.OSLC_AUTO,"2");		
 	}
+
+	@Override
+	public void testCheckContractRefinementOnInstantiateArch() throws Exception {
+		//super.testCheckContractRefinementOnInstantiateArch();
+	}
+	
+	
 }