diff --git a/test/test_one_step_realizability_check.cpp b/test/test_one_step_realizability_check.cpp
index a84832a..6e66244 100644
--- a/test/test_one_step_realizability_check.cpp
+++ b/test/test_one_step_realizability_check.cpp
@@ -50,7 +50,7 @@ TEST_CASE("One-step realizability check of a", "[one-step-realizability-check]")
 
 }
 
-TEST_CASE("One-step realizability check of X\\[\\!\\] a", "[one-step-realizability-check]") {
+TEST_CASE("One-step realizability check of strongX a", "[one-step-realizability-check]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -220,7 +220,7 @@ TEST_CASE("One-step realizability check of random formula 1", "[one-step-unreali
   }
 }
 
-TEST_CASE("One-step realizability check of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step realizability check of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 
diff --git a/test/test_one_step_unrealizability_check.cpp b/test/test_one_step_unrealizability_check.cpp
index 4152b83..c0c378c 100644
--- a/test/test_one_step_unrealizability_check.cpp
+++ b/test/test_one_step_unrealizability_check.cpp
@@ -50,7 +50,7 @@ TEST_CASE("One-step unrealizability check of a", "[one-step-unrealizability-chec
 
 }
 
-TEST_CASE("One-step unrealizability check of X\\[\\!\\] a", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step unrealizability check of strongX a", "[one-step-unrealizability-check]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -234,7 +234,7 @@ TEST_CASE("One-step unrealizability check of random formula 1", "[one-step-unrea
   }
 }
 
-TEST_CASE("One-step unrealizability check of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step unrealizability check of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 
diff --git a/test/test_preprocessing.cpp b/test/test_preprocessing.cpp
index ff9a21d..24e3a40 100644
--- a/test/test_preprocessing.cpp
+++ b/test/test_preprocessing.cpp
@@ -55,7 +55,7 @@ TEST_CASE("Preprocessing of a", "[preprocessing]") {
 
 }
 
-TEST_CASE("Preprocessing of X\\[\\!\\] a", "[preprocessing]") {
+TEST_CASE("Preprocessing of strongX a", "[preprocessing]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -232,7 +232,7 @@ TEST_CASE("Preprocessing of random formula 1", "[one-step-unrealizability-check]
   }
 }
 
-TEST_CASE("Preprocessing of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("Preprocessing of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 
diff --git a/test/test_synthesis.cpp b/test/test_synthesis.cpp
index 6d93a47..7247cda 100644
--- a/test/test_synthesis.cpp
+++ b/test/test_synthesis.cpp
@@ -87,7 +87,7 @@ TEST_CASE("Synthesis of a or b", "[synthesis]") {
   }
 }
 
-TEST_CASE("Synthesis of X\\[\\!\\] a", "[synthesis]") {
+TEST_CASE("Synthesis of strongX a", "[synthesis]") {
 
   std::string formula = "X[!] a";