diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a6788d1b..daa2055c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,6 +20,8 @@ jobs:
     strategy:
       matrix:
         otp:
+          - "27.3"
+          - "27.0"
           - "26.2"
           - "26.0"
           - "25.3"
@@ -44,7 +46,7 @@ jobs:
   examples:
     name: Test examples
     runs-on: ubuntu-latest
-    container: erlang:26.2
+    container: erlang:27.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -54,7 +56,7 @@ jobs:
   parallel-examples:
     name: Test examples in parallel
     runs-on: ubuntu-latest
-    container: erlang:26.2
+    container: erlang:27.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -64,7 +66,7 @@ jobs:
   coverage:
     name: Code coverage
     runs-on: ubuntu-latest
-    container: erlang:26.2
+    container: erlang:27.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
diff --git a/Makefile b/Makefile
index 267f44e4..c9346ab8 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ dialyzer: .plt/proper_plt compile
 	dialyzer --plt $< -Wunmatched_returns ebin
 
 .plt/proper_plt: .plt
-	dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto syntax_tools mnesia tools runtime_tools
+	dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto syntax_tools mnesia tools parsetools runtime_tools
 
 check_escripts:
 	./scripts/check_escripts.sh make_doc
diff --git a/README.md b/README.md
index a55b2eb2..68fe9b3b 100644
--- a/README.md
+++ b/README.md
@@ -195,7 +195,7 @@ incompatibilities between the two tools by now.
 <!-- Badges (alphabetically) -->
 [codecov badge]: https://codecov.io/gh/proper-testing/proper/branch/master/graph/badge.svg
 [commit badge]: https://img.shields.io/github/last-commit/proper-testing/proper.svg?style=flat-square
-[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2026.2-blue.svg?style=flat-square
+[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2027.3-blue.svg?style=flat-square
 [hex pm badge]: https://img.shields.io/hexpm/v/proper.svg?style=flat
 [license badge]: https://img.shields.io/github/license/proper-testing/proper.svg?style=flat-square
 [release badge]: https://img.shields.io/github/release/proper-testing/proper.svg?style=flat-square
diff --git a/rebar.config b/rebar.config
index 1a03244e..b8c7c9a5 100644
--- a/rebar.config
+++ b/rebar.config
@@ -1,6 +1,6 @@
 %%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2024 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2025 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>,
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -58,7 +58,7 @@
 {post_hooks, []}.
 
 {dialyzer, [{warnings, [unmatched_returns, unknown]},
-            {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, syntax_tools]}]}.
+            {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, syntax_tools, tools, runtime_tools, parsetools]}]}.
 
 {project_plugins, [covertool]}.
 {cover_export_enabled, true}.