diff --git a/test/functional/modelchecker/EigenDtmcPrctModelCheckerTest.cpp b/test/functional/modelchecker/EigenDtmcPrctlModelCheckerTest.cpp
similarity index 97%
rename from test/functional/modelchecker/EigenDtmcPrctModelCheckerTest.cpp
rename to test/functional/modelchecker/EigenDtmcPrctlModelCheckerTest.cpp
index ced6139cb..9740a16be 100644
--- a/test/functional/modelchecker/EigenDtmcPrctModelCheckerTest.cpp
+++ b/test/functional/modelchecker/EigenDtmcPrctlModelCheckerTest.cpp
@@ -6,7 +6,7 @@
 #include "src/modelchecker/EigenDtmcPrctlModelChecker.h"
 #include "src/parser/AutoParser.h"
 
-TEST(EigenDtmcPrctModelCheckerTest, Die) {
+TEST(EigenDtmcPrctlModelCheckerTest, Die) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/die/die.tra", STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/die/die.lab", "", STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/die/die.coin_flips.trans.rew");
@@ -66,7 +66,7 @@ TEST(EigenDtmcPrctModelCheckerTest, Die) {
 	delete result;
 }
 
-TEST(EigenDtmcPrctModelCheckerTest, Crowds) {
+TEST(EigenDtmcPrctlModelCheckerTest, Crowds) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/crowds/crowds5_5.tra", STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/crowds/crowds5_5.lab", "", "");
@@ -114,7 +114,7 @@ TEST(EigenDtmcPrctModelCheckerTest, Crowds) {
 	delete result;
 }
 
-TEST(EigenDtmcPrctModelCheckerTest, SynchronousLeader) {
+TEST(EigenDtmcPrctlModelCheckerTest, SynchronousLeader) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/synchronous_leader/leader4_8.tra", STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/synchronous_leader/leader4_8.lab", "", STORM_CPP_TESTS_BASE_PATH "/functional/modelchecker/synchronous_leader/leader4_8.pick.trans.rew");
diff --git a/test/functional/modelchecker/GmmxxDtmcPrctModelCheckerTest.cpp b/test/functional/modelchecker/GmmxxDtmcPrctlModelCheckerTest.cpp
similarity index 97%
rename from test/functional/modelchecker/GmmxxDtmcPrctModelCheckerTest.cpp
rename to test/functional/modelchecker/GmmxxDtmcPrctlModelCheckerTest.cpp
index e3eb08b68..7d202bb27 100644
--- a/test/functional/modelchecker/GmmxxDtmcPrctModelCheckerTest.cpp
+++ b/test/functional/modelchecker/GmmxxDtmcPrctlModelCheckerTest.cpp
@@ -5,7 +5,7 @@
 #include "src/modelchecker/GmmxxDtmcPrctlModelChecker.h"
 #include "src/parser/AutoParser.h"
 
-TEST(GmmxxDtmcPrctModelCheckerTest, Die) {
+TEST(GmmxxDtmcPrctlModelCheckerTest, Die) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_BASE_PATH "/examples/dtmc/die/die.tra", STORM_CPP_BASE_PATH "/examples/dtmc/die/die.lab", "", STORM_CPP_BASE_PATH "/examples/dtmc/die/die.coin_flips.trans.rew");
@@ -72,7 +72,7 @@ TEST(GmmxxDtmcPrctModelCheckerTest, Die) {
 	delete result;
 }
 
-TEST(GmmxxDtmcPrctModelCheckerTest, Crowds) {
+TEST(GmmxxDtmcPrctlModelCheckerTest, Crowds) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds5_5.tra", STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds5_5.lab", "", "");
@@ -126,7 +126,7 @@ TEST(GmmxxDtmcPrctModelCheckerTest, Crowds) {
 	delete result;
 }
 
-TEST(GmmxxDtmcPrctModelCheckerTest, SynchronousLeader) {
+TEST(GmmxxDtmcPrctlModelCheckerTest, SynchronousLeader) {
 	storm::settings::Settings* s = storm::settings::instance();
 	s->set("fix-deadlocks");
 	storm::parser::AutoParser<double> parser(STORM_CPP_BASE_PATH "/examples/dtmc/synchronous_leader/leader4_8.tra", STORM_CPP_BASE_PATH "/examples/dtmc/synchronous_leader/leader4_8.lab", "", STORM_CPP_BASE_PATH "/examples/dtmc/synchronous_leader/leader4_8.pick.trans.rew");
diff --git a/test/functional/modelchecker/GmmxxMdpPrctModelCheckerTest.cpp b/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
similarity index 99%
rename from test/functional/modelchecker/GmmxxMdpPrctModelCheckerTest.cpp
rename to test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
index 32cf5b9a4..e32096bcd 100644
--- a/test/functional/modelchecker/GmmxxMdpPrctModelCheckerTest.cpp
+++ b/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
@@ -5,7 +5,7 @@
 #include "src/modelchecker/GmmxxMdpPrctlModelChecker.h"
 #include "src/parser/AutoParser.h"
 
-TEST(GmmxxMdpPrctModelCheckerTest, Dice) {
+TEST(GmmxxMdpPrctlModelCheckerTest, Dice) {
 	storm::settings::Settings* s = storm::settings::instance();
 	storm::parser::AutoParser<double> parser(STORM_CPP_BASE_PATH "/examples/mdp/two_dice/two_dice.tra", STORM_CPP_BASE_PATH "/examples/mdp/two_dice/two_dice.lab", "", STORM_CPP_BASE_PATH "/examples/mdp/two_dice/two_dice.flip.trans.rew");
     
@@ -169,7 +169,7 @@ TEST(GmmxxMdpPrctModelCheckerTest, Dice) {
 	delete result;
 }
 
-TEST(GmmxxMdpPrctModelCheckerTest, AsynchronousLeader) {
+TEST(GmmxxMdpPrctlModelCheckerTest, AsynchronousLeader) {
 	storm::settings::Settings* s = storm::settings::instance();
 	storm::parser::AutoParser<double> parser(STORM_CPP_BASE_PATH "/examples/mdp/asynchronous_leader/leader4.tra", STORM_CPP_BASE_PATH "/examples/mdp/asynchronous_leader/leader4.lab", "", STORM_CPP_BASE_PATH "/examples/mdp/asynchronous_leader/leader4.trans.rew");