diff --git a/src/test/storm-dft/api/DftApproximationTest.cpp b/src/test/storm-dft/api/DftApproximationTest.cpp
index 40c3eb6ff..68b81be07 100644
--- a/src/test/storm-dft/api/DftApproximationTest.cpp
+++ b/src/test/storm-dft/api/DftApproximationTest.cpp
@@ -83,7 +83,7 @@ namespace {
             ApproxBoundDifferenceConfig
         > TestingTypes;
 
-    TYPED_TEST_CASE(DftApproximationTest, TestingTypes);
+    TYPED_TEST_SUITE(DftApproximationTest, TestingTypes);
 
     TYPED_TEST(DftApproximationTest, HecsMTTF) {
         double errorBound = 2;
diff --git a/src/test/storm-dft/api/DftModelCheckerTest.cpp b/src/test/storm-dft/api/DftModelCheckerTest.cpp
index 1d4501132..8d700bfa7 100644
--- a/src/test/storm-dft/api/DftModelCheckerTest.cpp
+++ b/src/test/storm-dft/api/DftModelCheckerTest.cpp
@@ -117,7 +117,7 @@ namespace {
             AllOptimizationsConfig
         > TestingTypes;
 
-    TYPED_TEST_CASE(DftModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(DftModelCheckerTest, TestingTypes);
 
     TYPED_TEST(DftModelCheckerTest, AndMTTF) {
         double result = this->analyzeMTTF(STORM_TEST_RESOURCES_DIR "/dft/and.dft");
diff --git a/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp b/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
index 91e08d2cf..01651a961 100644
--- a/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
@@ -49,7 +49,7 @@ namespace {
             EliminationEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(ParametricDtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(ParametricDtmcPrctlModelCheckerTest, TestingTypes);
     TYPED_TEST(ParametricDtmcPrctlModelCheckerTest, Die) {
         storm::prism::Program program = storm::parser::PrismParser::parse(STORM_TEST_RESOURCES_DIR "/pdtmc/parametric_die.pm");
         storm::generator::NextStateGeneratorOptions options;
diff --git a/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp b/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
index f77b61544..8e268da13 100644
--- a/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
+++ b/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
@@ -64,7 +64,7 @@ namespace {
             RationalPiEnvironment
     > TestingTypes;
     
-   TYPED_TEST_CASE(SparseDtmcParameterLiftingTest, TestingTypes);
+   TYPED_TEST_SUITE(SparseDtmcParameterLiftingTest, TestingTypes);
 
     
     TYPED_TEST(SparseDtmcParameterLiftingTest, Brp_Prob) {
diff --git a/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp b/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
index 30b11f15d..9cb951421 100644
--- a/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
+++ b/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
@@ -51,7 +51,7 @@ namespace {
             RationalPIEnvironment
     > TestingTypes;
     
-   TYPED_TEST_CASE(SparseMdpParameterLiftingTest, TestingTypes);
+   TYPED_TEST_SUITE(SparseMdpParameterLiftingTest, TestingTypes);
 
     TYPED_TEST(SparseMdpParameterLiftingTest, two_dice_Prob) {
         
diff --git a/src/test/storm/modelchecker/ConditionalDtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/ConditionalDtmcPrctlModelCheckerTest.cpp
index fd124f456..78c1fd23c 100644
--- a/src/test/storm/modelchecker/ConditionalDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/ConditionalDtmcPrctlModelCheckerTest.cpp
@@ -120,7 +120,7 @@ namespace {
             NativeWalkerChaeEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(ConditionalDtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(ConditionalDtmcPrctlModelCheckerTest, TestingTypes);
 
  
     TYPED_TEST(ConditionalDtmcPrctlModelCheckerTest, Conditional) {
diff --git a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
index fcb8b53df..bbae347db 100644
--- a/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/CtmcCslModelCheckerTest.cpp
@@ -292,7 +292,7 @@ namespace {
             HybridSylvanGmmxxGmresEnvironment
         > TestingTypes;
     
-    TYPED_TEST_CASE(CtmcCslModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(CtmcCslModelCheckerTest, TestingTypes);
 
     TYPED_TEST(CtmcCslModelCheckerTest, Cluster) {
         std::string formulasString = "P=? [ F<=100 !\"minimum\"]";
diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
index 6c5f08c86..fdf6cf6cc 100644
--- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
@@ -566,7 +566,7 @@ namespace {
             DdSylvanRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_CASE(DtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(DtmcPrctlModelCheckerTest, TestingTypes);
 
     TYPED_TEST(DtmcPrctlModelCheckerTest, Die) {
         std::string formulasString = "P=? [F \"one\"]";
diff --git a/src/test/storm/modelchecker/LraDtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/LraDtmcPrctlModelCheckerTest.cpp
index c964628b9..303e35c37 100644
--- a/src/test/storm/modelchecker/LraDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/LraDtmcPrctlModelCheckerTest.cpp
@@ -111,7 +111,7 @@ namespace {
             NativeWalkerChaeEnvironment
     > TestingTypes;
     
-   TYPED_TEST_CASE(LraDtmcPrctlModelCheckerTest, TestingTypes);
+   TYPED_TEST_SUITE(LraDtmcPrctlModelCheckerTest, TestingTypes);
 
     
     
diff --git a/src/test/storm/modelchecker/LraMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/LraMdpPrctlModelCheckerTest.cpp
index c0f527bd2..771fc2db7 100644
--- a/src/test/storm/modelchecker/LraMdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/LraMdpPrctlModelCheckerTest.cpp
@@ -106,7 +106,7 @@ namespace {
 #endif
         > TestingTypes;
     
-    TYPED_TEST_CASE(LraMdpPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(LraMdpPrctlModelCheckerTest, TestingTypes);
     
     
     TYPED_TEST(LraMdpPrctlModelCheckerTest, LRA_SingleMec) {
diff --git a/src/test/storm/modelchecker/MarkovAutomatonCslModelCheckerTest.cpp b/src/test/storm/modelchecker/MarkovAutomatonCslModelCheckerTest.cpp
index b04a7cf06..361ddb4de 100644
--- a/src/test/storm/modelchecker/MarkovAutomatonCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/MarkovAutomatonCslModelCheckerTest.cpp
@@ -215,7 +215,7 @@ namespace {
             SparseRationalRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_CASE(MarkovAutomatonCslModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(MarkovAutomatonCslModelCheckerTest, TestingTypes);
     
 
     TYPED_TEST(MarkovAutomatonCslModelCheckerTest, server) {
diff --git a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp
index 939cf4275..6dc2c757d 100644
--- a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp
@@ -434,7 +434,7 @@ namespace {
             DdSylvanRationalRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_CASE(MdpPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(MdpPrctlModelCheckerTest, TestingTypes);
     
 
     TYPED_TEST(MdpPrctlModelCheckerTest, Dice) {
diff --git a/src/test/storm/modelchecker/QuantileQueryTest.cpp b/src/test/storm/modelchecker/QuantileQueryTest.cpp
index c6c718856..304fdfc8c 100644
--- a/src/test/storm/modelchecker/QuantileQueryTest.cpp
+++ b/src/test/storm/modelchecker/QuantileQueryTest.cpp
@@ -160,7 +160,7 @@ namespace {
             ExactEnvironment
         > TestingTypes;
     
-    TYPED_TEST_CASE(QuantileQueryTest, TestingTypes);
+    TYPED_TEST_SUITE(QuantileQueryTest, TestingTypes);
     
 
     TYPED_TEST(QuantileQueryTest, simple_Dtmc) {
diff --git a/src/test/storm/modelchecker/SchedulerGenerationMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
index 6f82d6a47..750076776 100644
--- a/src/test/storm/modelchecker/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
@@ -85,7 +85,7 @@ namespace {
             //RationalRationalSearchEnvironment
     > TestingTypes;
     
-   TYPED_TEST_CASE(SchedulerGenerationMdpPrctlModelCheckerTest, TestingTypes);
+   TYPED_TEST_SUITE(SchedulerGenerationMdpPrctlModelCheckerTest, TestingTypes);
 
     
     TYPED_TEST(SchedulerGenerationMdpPrctlModelCheckerTest, reachability) {
diff --git a/src/test/storm/solver/GameSolverTest.cpp b/src/test/storm/solver/GameSolverTest.cpp
index 0973f49a5..03661726c 100644
--- a/src/test/storm/solver/GameSolverTest.cpp
+++ b/src/test/storm/solver/GameSolverTest.cpp
@@ -68,7 +68,7 @@ namespace {
             RationalPiEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(GameSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(GameSolverTest, TestingTypes);
     
     TYPED_TEST(GameSolverTest, SolveEquations) {
         typedef typename TestFixture::ValueType ValueType;
diff --git a/src/test/storm/solver/LinearEquationSolverTest.cpp b/src/test/storm/solver/LinearEquationSolverTest.cpp
index 114452ba8..9db43768c 100644
--- a/src/test/storm/solver/LinearEquationSolverTest.cpp
+++ b/src/test/storm/solver/LinearEquationSolverTest.cpp
@@ -314,7 +314,7 @@ namespace {
             TopologicalEigenRationalLUEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(LinearEquationSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(LinearEquationSolverTest, TestingTypes);
     
     
     TYPED_TEST(LinearEquationSolverTest, solveEquationSystem) {
diff --git a/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp b/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
index ef565f946..5353d455e 100644
--- a/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
+++ b/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
@@ -131,7 +131,7 @@ namespace {
             RationalRationalSearchEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(MinMaxLinearEquationSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(MinMaxLinearEquationSolverTest, TestingTypes);
     
     TYPED_TEST(MinMaxLinearEquationSolverTest, SolveEquations) {
         typedef typename TestFixture::ValueType ValueType;
diff --git a/src/test/storm/solver/MultiplierTest.cpp b/src/test/storm/solver/MultiplierTest.cpp
index 62a1a7c0c..2564039c7 100644
--- a/src/test/storm/solver/MultiplierTest.cpp
+++ b/src/test/storm/solver/MultiplierTest.cpp
@@ -48,7 +48,7 @@ namespace {
             GmmxxEnvironment
     > TestingTypes;
     
-    TYPED_TEST_CASE(MultiplierTest, TestingTypes);
+    TYPED_TEST_SUITE(MultiplierTest, TestingTypes);
     
     TYPED_TEST(MultiplierTest, repeatedMultiplyTest) {
         typedef typename TestFixture::ValueType ValueType;