diff --git a/src/ltltest/Makefile.am b/src/ltltest/Makefile.am
index 9850d3d00..934a530c5 100644
--- a/src/ltltest/Makefile.am
+++ b/src/ltltest/Makefile.am
@@ -98,7 +98,7 @@ TESTS = \
   ltlgrind.test \
   ltlcrossgrind.test \
   ltlfilt.test \
-  exclusive.test \
+  exclusive-ltl.test \
   latex.test \
   lbt.test \
   lenient.test \
@@ -111,7 +111,7 @@ TESTS = \
   reduccmp.test \
   uwrm.test \
   eventuniv.test \
-  stutter.test
+  stutter-ltl.test
 
 distclean-local:
 	rm -rf $(TESTS:.test=.dir)
diff --git a/src/ltltest/exclusive.test b/src/ltltest/exclusive-ltl.test
similarity index 100%
rename from src/ltltest/exclusive.test
rename to src/ltltest/exclusive-ltl.test
diff --git a/src/ltltest/stutter.test b/src/ltltest/stutter-ltl.test
similarity index 100%
rename from src/ltltest/stutter.test
rename to src/ltltest/stutter-ltl.test
diff --git a/src/tgbatest/Makefile.am b/src/tgbatest/Makefile.am
index 97a87b3d2..5234d545c 100644
--- a/src/tgbatest/Makefile.am
+++ b/src/tgbatest/Makefile.am
@@ -92,7 +92,7 @@ TESTS = \
   explpro4.test \
   tripprod.test \
   dupexp.test \
-  exclusive.test \
+  exclusive-tgba.test \
   remprop.test \
   degendet.test \
   degenid.test \
@@ -121,7 +121,7 @@ TESTS = \
   isomorph.test \
   uniq.test \
   sbacc.test \
-  stutter.test \
+  stutter-tgba.test \
   emptchk.test \
   emptchke.test \
   dfs.test \
diff --git a/src/tgbatest/exclusive.test b/src/tgbatest/exclusive-tgba.test
similarity index 100%
rename from src/tgbatest/exclusive.test
rename to src/tgbatest/exclusive-tgba.test
diff --git a/src/tgbatest/stutter.test b/src/tgbatest/stutter-tgba.test
similarity index 100%
rename from src/tgbatest/stutter.test
rename to src/tgbatest/stutter-tgba.test